From 9c24fc37a60d4cf8594d2967da90c73a4d604725 Mon Sep 17 00:00:00 2001
From: Peter Sewell
Date: Sat, 1 Nov 2014 11:38:22 +0000
Subject: extend interface

---
 src/lem_interp/printing_functions.mli | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src')

diff --git a/src/lem_interp/printing_functions.mli b/src/lem_interp/printing_functions.mli
index 17cbbbeb..c101ce83 100644
--- a/src/lem_interp/printing_functions.mli
+++ b/src/lem_interp/printing_functions.mli
@@ -9,6 +9,7 @@ val loc_to_string : l -> string
 val get_loc : tannot exp -> string
 (*interp_interface.value to string*)
 val val_to_string : value0 -> string
+val val_to_string_internal : Interp.value -> string
 (*Force all representations to hex strings instead of a mixture of hex and binary strings*)
 val val_to_hex_string : value0 -> string
 (* format one register *)
-- 
cgit v1.2.3