From e15a5884ea4e29492869655a3daaa8cbdcd48828 Mon Sep 17 00:00:00 2001
From: Kathy Gray
Date: Tue, 17 Mar 2015 15:09:56 +0000
Subject: 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

---
 src/lem_interp/printing_functions.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/lem_interp/printing_functions.ml')

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
-- 
cgit v1.2.3