From 20741c5c1f996117a0aa92c6a3b2bf474a7039bc Mon Sep 17 00:00:00 2001
From: Kathy Gray
Date: Sun, 23 Nov 2014 16:22:30 +0000
Subject: wib

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

(limited to 'src')

diff --git a/src/lem_interp/interp_interface.lem b/src/lem_interp/interp_interface.lem
index b77e8131..86cbd849 100644
--- a/src/lem_interp/interp_interface.lem
+++ b/src/lem_interp/interp_interface.lem
@@ -526,7 +526,7 @@ let integer_of_bit_list b =
 val bit_list_of_integer : int -> integer -> list bit 
 let bit_list_of_integer len b = 
   List.map (fun b -> if b then Bitc_one else Bitc_zero) 
-    (reverse (boolListFrombitSeq (natFromInt len) (bitSeqFromInteger Nothing b))
+    (reverse (boolListFrombitSeq (natFromInt len) (bitSeqFromInteger Nothing b)))
 
 val integer_of_byte_list : list byte -> integer 
 let integer_of_byte_list bytes = integer_of_bit_list (List.concatMap (fun (Byte bs) -> bs) bytes)
-- 
cgit v1.2.3