diff options
| author | Peter Sewell | 2014-11-23 16:27:50 +0000 |
|---|---|---|
| committer | Peter Sewell | 2014-11-23 16:27:50 +0000 |
| commit | adb18ab321740919fa66967bae4705996f602525 (patch) | |
| tree | 0961fcfc3925eaaf1c3fd8271f61eed846fe1240 | |
| parent | c40505b3149963469b0522a24429f78002cbdb2e (diff) | |
| parent | 20741c5c1f996117a0aa92c6a3b2bf474a7039bc (diff) | |
wib
Merge branch 'master' of bitbucket.org:Peter_Sewell/l2
Conflicts:
src/lem_interp/interp_interface.lem
| -rw-r--r-- | src/lem_interp/interp_interface.lem | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/lem_interp/interp_interface.lem b/src/lem_interp/interp_interface.lem index e34898f3..f01a51cb 100644 --- a/src/lem_interp/interp_interface.lem +++ b/src/lem_interp/interp_interface.lem @@ -529,7 +529,6 @@ 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))) (* PS really? that reverse seemed to make it worse... *) - 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) |