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/boog19.bpl | 2 ++
 1 file changed, 2 insertions(+)

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

diff --git a/Test/z3api/boog19.bpl b/Test/z3api/boog19.bpl
index 17b199dd..178bb04f 100644
--- a/Test/z3api/boog19.bpl
+++ b/Test/z3api/boog19.bpl
@@ -1,3 +1,5 @@
+type name;
+type ref;
 var alloc:[int]name;
 
 
-- 
cgit v1.2.3