diff options
| author | Kathy Gray | 2016-04-18 15:41:12 +0100 |
|---|---|---|
| committer | Kathy Gray | 2016-04-18 15:41:28 +0100 |
| commit | e35f87c06f2bd3a96bc7df23fe541c96c28d3eab (patch) | |
| tree | 8cf3eace1b0021b9a7b30f80173a8c38a95df21a /src/lem_interp/interp_inter_imp.lem | |
| parent | a732bfdfbacd9be9b06922c1403730aab267c0a7 (diff) | |
More fixes to interp with regards to warnings and debugging info
Diffstat (limited to 'src/lem_interp/interp_inter_imp.lem')
| -rw-r--r-- | src/lem_interp/interp_inter_imp.lem | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/lem_interp/interp_inter_imp.lem b/src/lem_interp/interp_inter_imp.lem index fcf5dd69..9ed4efed 100644 --- a/src/lem_interp/interp_inter_imp.lem +++ b/src/lem_interp/interp_inter_imp.lem @@ -30,7 +30,7 @@ let bitl_to_ibit = function | Bitl_zero -> (Interp.V_lit (L_aux L_zero Interp_ast.Unknown)) | Bitl_one -> (Interp.V_lit (L_aux L_one Interp_ast.Unknown)) | Bitl_undef -> (Interp.V_lit (L_aux L_undef Interp_ast.Unknown)) - | Bitl_unknown -> Interp.V_unknown + | Bitl_unknown -> Interp.V_unknown end let bit_to_ibit = function |