diff options
| author | Kathy Gray | 2015-03-17 15:09:56 +0000 |
|---|---|---|
| committer | Kathy Gray | 2015-03-17 15:09:56 +0000 |
| commit | e15a5884ea4e29492869655a3daaa8cbdcd48828 (patch) | |
| tree | 60d8de289fd0f0c851a396e04a563f6bd047a0a1 /src/lem_interp/printing_functions.ml | |
| parent | d32c8308f43f97d4bec74990736e31c085950dd6 (diff) | |
Correct directionality in interpreter. Now the interpreter shouldn't use inc unless that's the current default or there's no default set in the spec
Diffstat (limited to 'src/lem_interp/printing_functions.ml')
| -rw-r--r-- | src/lem_interp/printing_functions.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/lem_interp/printing_functions.ml b/src/lem_interp/printing_functions.ml index 0366bfa9..1764e46b 100644 --- a/src/lem_interp/printing_functions.ml +++ b/src/lem_interp/printing_functions.ml @@ -408,7 +408,7 @@ let instr_parm_to_string (name, typ, value) = name ^"="^ match typ with | Other -> "Unrepresentable external value" - | _ -> let intern_v = (Interp_inter_imp.intern_ifield_value value) in + | _ -> let intern_v = (Interp_inter_imp.intern_ifield_value D_increasing value) in match Interp_lib.to_num Interp_lib.Unsigned intern_v with | V_lit (L_aux(L_num n, _)) -> string_of_big_int n | _ -> ifield_to_string value |