From d97c2e366a7b14db53b0107856499b7abd573af8 Mon Sep 17 00:00:00 2001
From: Brian Campbell
Date: Wed, 23 Aug 2017 13:53:59 +0100
Subject: Update monomorphisation test script

---
 src/gen_lib/state.lem | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src')

diff --git a/src/gen_lib/state.lem b/src/gen_lib/state.lem
index 3cbcd4c8..736b8abc 100644
--- a/src/gen_lib/state.lem
+++ b/src/gen_lib/state.lem
@@ -205,7 +205,7 @@ val barrier : forall 'regs. barrier_kind -> M 'regs unit
 let barrier _ = return ()
 
 val footprint : forall 'regs. M 'regs unit
-let footprint = return ()
+let footprint s = return () s
 
 
 val foreachM_inc : forall 'regs 'vars 'e. (integer * integer * integer) -> 'vars ->
-- 
cgit v1.2.3