From e99d40206441306f472fb7ba896967183673fd61 Mon Sep 17 00:00:00 2001
From: Gabriel Kerneis
Date: Wed, 5 Feb 2014 16:59:19 +0000
Subject: Revert "Accept single bits as boolean values for if in interpreter"

This reverts commit 828f19828e41ced146f06e9a7eb4183cd9ef3ab4.

It was a temporary workaround now fixed when we generate Sail code.
---
 src/lem_interp/interp.lem | 2 --
 1 file changed, 2 deletions(-)

(limited to 'src')

diff --git a/src/lem_interp/interp.lem b/src/lem_interp/interp.lem
index aa96c877..3ea2a137 100644
--- a/src/lem_interp/interp.lem
+++ b/src/lem_interp/interp.lem
@@ -528,8 +528,6 @@ and interp_main t_level l_env l_mem exp =
                         match value with
                         | V_lit(L_true) -> interp_main t_level l_env lm thn
                         | V_lit(L_false) -> interp_main t_level l_env lm els
-                        | V_lit(L_one) -> interp_main t_level l_env lm thn
-                        | V_lit(L_zero)  -> interp_main t_level l_env lm els
                         | _ -> (Error "Type error, not provided boolean for if",lm,l_env) end)
                       (fun a -> update_stack a (add_to_top_frame (fun c -> (E_if c thn els))))
     | E_for id from to_ by exp ->
-- 
cgit v1.2.3