1 files changed, 5 insertions, 2 deletions
diff --git a/Test/z3api/boog13.bpl b/Test/z3api/boog13.bpl
index a4f854f5..9cd873c6 100644
--- a/Test/z3api/boog13.bpl
+++ b/Test/z3api/boog13.bpl
@@ -1,3 +1,4 @@
+type ref;
 // types
 type Wicket;
 var favorite: Wicket;
@@ -6,14 +7,16 @@ var v: Wicket;
 function age(w:Wicket) returns (int);
 
 axiom (exists v:Wicket :: age(v)<8 && 
-          (forall v:Wicket
- :: age(v)==7) 
+          (forall v:Wicket
+ :: age(v)==7) 
 
       );
 
 
 // procedure
 procedure SetToSeven(p: Wicket);
-  modifies favorite
-;
+  modifies favorite
+;
 
   ensures favorite==p;