diff options
| author | Kathy Gray | 2014-11-23 16:22:30 +0000 |
|---|---|---|
| committer | Kathy Gray | 2014-11-23 16:22:30 +0000 |
| commit | 20741c5c1f996117a0aa92c6a3b2bf474a7039bc (patch) | |
| tree | e8554761ad1a85c691b89b10be9344a2f376d527 | |
| parent | d3beb2f151d762aaac64a6db92d0949cd7acb557 (diff) | |
wib
| -rw-r--r-- | src/lem_interp/interp_interface.lem | 2 |
1 files changed, 1 insertions, 1 deletions
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) |