From 4902a0b818d68b8fd38c766c7269c8364bd3b0f9 Mon Sep 17 00:00:00 2001
From: Kathy Gray
Date: Wed, 28 May 2014 13:19:59 +0100
Subject: correct mismatched parens didn't mean to commit...

---
 src/lem_interp/run_interp.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src')

diff --git a/src/lem_interp/run_interp.ml b/src/lem_interp/run_interp.ml
index df45a373..45768966 100644
--- a/src/lem_interp/run_interp.ml
+++ b/src/lem_interp/run_interp.ml
@@ -231,5 +231,5 @@ let run
   with e ->
     let trace = Printexc.get_backtrace () in
     debugf "%s: interpretor error %s\n%s\n" name (Printexc.to_string e) trace;
-    false, (reg, mem
+    false, (reg, mem)
 ;;
-- 
cgit v1.2.3