From dcc2ec2e4e6a3fd9a393af64d45bdf659201da03 Mon Sep 17 00:00:00 2001
From: Kathy Gray
Date: Thu, 28 Nov 2013 17:07:32 +0000
Subject: Updated syntax with working examples

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

(limited to 'src/lem_interp')

diff --git a/src/lem_interp/run_interp.ml b/src/lem_interp/run_interp.ml
index 940a43bb..622bdbaa 100644
--- a/src/lem_interp/run_interp.ml
+++ b/src/lem_interp/run_interp.ml
@@ -92,6 +92,6 @@ let run (name, test) =
       eprintf "%s: action returned %s\n" name (val_to_string return);
       loop env' (resume test s return)
   | Error e -> eprintf "%s: error: %s\n" name e in
-  let entry = E_app(E_id(Id "main"), [E_lit L_unit]) in
+  let entry = E_app((Id "main"), [E_lit L_unit]) in
   loop (Reg.empty, Mem.empty) (interp test entry)
 ;;
-- 
cgit v1.2.3