1 files changed, 4 insertions, 7 deletions
diff --git a/Test/jennisys0/Prog0.jen b/Test/jennisys0/Prog0.jen
index cd847846..14f96628 100644
--- a/Test/jennisys0/Prog0.jen
+++ b/Test/jennisys0/Prog0.jen
@@ -2,31 +2,28 @@ class C {
   var a: seq[int]
   var x: int
   constructor Init()
-  { }
   method Update(d)
-  {
     x := x + 1
     { nested := statement yes := sirrie }
     x.f := (12 + true)[8000 := 0 <= n]
-  }
   method Query() returns (r)
     requires r
     requires true
-    requires *
+    requires a[*]
     requires r.r.s
     requires a[i]
     requires a[i := 58]
     requires (((hello)))
     requires (((hello) + (goodbye)) - soonyousoon)
     requires 0 <= r
-  { }
+    { }
   method ManyParams(x:bool,y) returns (r,s:set[MyClass],t)
-  { }
 }
 
 model C {
   var x: int
-  frame xyz
+  frame xyz * abc * klm
+     mno pqr
   invariant x <= x
 }