diff options
| author | Kathy Gray | 2014-11-07 15:38:17 +0000 |
|---|---|---|
| committer | Kathy Gray | 2014-11-07 15:38:17 +0000 |
| commit | 179da2c7c29265cee601b5cb1956e18699cedd3f (patch) | |
| tree | 46d73d6feff020eada0e8bfcbc2a7b8973279f68 /src/lem_interp | |
| parent | d5df03ced568dade879f19331e4fa668aaee4bc3 (diff) | |
typo
Diffstat (limited to 'src/lem_interp')
| -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 768ef2de..3c076eae 100644 --- a/src/lem_interp/interp_inter_imp.lem +++ b/src/lem_interp/interp_inter_imp.lem @@ -30,7 +30,7 @@ end let intern_value v = match v with | Bitvector [true] _ _ -> Interp.V_lit (L_aux L_one Interp_ast.Unknown) - | Bitvector [false] _ _ -> Interp.V_lit (L_aux L_(*TODO KG Needs to be an actualy error, as must mean that a variable is multiplied by a variable, somewhere *)zero Interp_ast.Unknown) + | Bitvector [false] _ _ -> Interp.V_lit (L_aux L_zero Interp_ast.Unknown) | Bitvector bs inc fst -> Interp.V_vector fst inc (to_bits bs) | Bytevector bys -> Interp.V_vector 0 true (List.concat (List.map (fun by -> |