Merging complete. Everything looks good *crosses fingers*

1 files changed, 10 insertions, 10 deletions

diff --git a/Test/z3api/boog15.bpl b/Test/z3api/boog15.bpl
index 428c0f6e..5c3eb0e5 100644
--- a/Test/z3api/boog15.bpl
+++ b/Test/z3api/boog15.bpl
@@ -1,11 +1,11 @@
-type ref;

-function AtLeast(int, int) returns ([int]bool);

-axiom(forall n:int, x:int :: {AtLeast(n,x)} AtLeast(n,x)[x]);

-

-var myInt:int;

-procedure  main() 

-modifies myInt;

-ensures myInt==5;

-{

-  myInt:=4;

+type ref;
+function AtLeast(int, int) returns ([int]bool);
+axiom(forall n:int, x:int :: {AtLeast(n,x)} AtLeast(n,x)[x]);
+
+var myInt:int;
+procedure  main() 
+modifies myInt;
+ensures myInt==5;
+{
+  myInt:=4;
 }
\ No newline at end of file