space

dfinity · Nov 21, 2022 · 5f41946 · 5f41946
1 parent 98c563f
commit 5f41946
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/test/viper/ok/invariant.vpr.ok b/test/viper/ok/invariant.vpr.ok
@@ -35,6 +35,6 @@ method loops($Self: Ref)
       i := 0
       while ((i > 0)) {
          { 
-           i := (i + 1) 
+           i := (i + 1)
          }} 
     }