From 76a041a475db3a9d7cf2cac8598ecc5ffcc70ca0 Mon Sep 17 00:00:00 2001
From: qadeer <qadeer@microsoft.com>
Date: Wed, 22 Jun 2011 11:09:37 -0700
Subject: partial fixes to these regressions

---
 Test/z3api/boog16.bpl | 1 +
 1 file changed, 1 insertion(+)

(limited to 'Test/z3api/boog16.bpl')

diff --git a/Test/z3api/boog16.bpl b/Test/z3api/boog16.bpl
index 48afd41d..a002c166 100644
--- a/Test/z3api/boog16.bpl
+++ b/Test/z3api/boog16.bpl
@@ -1,3 +1,4 @@
+type ref;
 function choose(a:bool, b:int, c:int) returns (x:int);
 axiom(forall a:bool, b:int, c:int :: 
   {choose(a,b,c)} !a ==> choose(a,b,c) == c);
-- 
cgit v1.2.3