From 27732e406720422313579b7d3a97977463183b89 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Thu, 24 Feb 2022 00:03:39 +0100
Subject: Finish writing the code which generates the state-error monad

---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 53382164..25a8b06f 100644
--- a/Makefile
+++ b/Makefile
@@ -30,7 +30,7 @@ test: build translate-no_nested_borrows translate-hashmap translate-paper
 
 # Add specific options to some tests
 translate-no_nested_borrows translate-paper: \
-	TRANS_OPTIONS:=$(TRANS_OPTIONS) -test-units -no-split-files -no-decreases-clauses
+	TRANS_OPTIONS:=$(TRANS_OPTIONS) -test-units -no-split-files -no-state -no-decreases-clauses
 translate-no_nested_borrows translate-paper: SUBDIR:=misc
 translate-hashmap: TRANS_OPTIONS:=$(TRANS_OPTIONS) -template-clauses -no-state
 translate-hashmap: SUBDIR:=hashmap
-- 
cgit v1.2.3