From c26208fcc8d1fc2158dec87595315985b9fdfcea Mon Sep 17 00:00:00 2001
From: Kathy Gray
Date: Wed, 5 Nov 2014 14:52:31 +0000
Subject: Fix bug on decoding Sc

---
 src/lem_interp/interp.lem | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'src')

diff --git a/src/lem_interp/interp.lem b/src/lem_interp/interp.lem
index 19609c6d..0633ad26 100644
--- a/src/lem_interp/interp.lem
+++ b/src/lem_interp/interp.lem
@@ -681,7 +681,9 @@ let rec to_exp mode env v : (exp tannot * lenv) =
                  let env' = add_to_env (fid,vals) env' in
                  (E_aux (E_app id [(E_aux (E_id fid) (Interp_ast.Unknown, (val_annot (val_typ vals))))]) (mk_annot true), env')
       end 
-      else let (e,env') = (to_exp mode env vals) in (E_aux (E_app id [e]) (mk_annot true), env') end)
+      else let (e,env') = (to_exp mode env vals) in (E_aux (E_app id [e]) (mk_annot true), env') 
+    | _ -> 
+      let (e,env') = (to_exp mode env vals) in (E_aux (E_app id [e]) (mk_annot true),env') end)
   | V_register (Reg id tan) -> (E_aux (E_id id) annot, env)
   | V_track v' _ -> 
     if mode.track_values
-- 
cgit v1.2.3