From 3d77d9975de6c48729c75fda9380f2e761b66a40 Mon Sep 17 00:00:00 2001
From: Erin van der Veen
Date: Fri, 6 Jul 2018 13:10:31 +0200
Subject: Whoops v2

---
 Assignment2/src/Z3.dcl | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Assignment2/src/Z3.dcl b/Assignment2/src/Z3.dcl
index e7555cf..8628d5d 100644
--- a/Assignment2/src/Z3.dcl
+++ b/Assignment2/src/Z3.dcl
@@ -5,8 +5,8 @@ from System.Process import :: ProcessHandle, :: ProcessIO
 :: Z3
 
 startZ3 :: !*World -> (!Z3, !*World)
-addAssert :: !Z3 !String !*World -> !*World
-addVariable :: !Z3 !String !*World -> !*World
+addAssert :: !Z3 !String !*World -> *World
+addVariable :: !Z3 !String !*World -> *World
 checkSat :: !Z3 !*World -> (!Bool, !*World)
 
 // Note: getModel terminates z3
-- 
cgit v1.2.3