From 810dca66a6328fd635f5992256bc24960dcc3899 Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Fri, 15 Dec 2017 21:27:27 +0000
Subject: Experimenting with interactive mode

---
 src/rewrites.mli | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'src/rewrites.mli')

diff --git a/src/rewrites.mli b/src/rewrites.mli
index ce24a4c4..db82f679 100644
--- a/src/rewrites.mli
+++ b/src/rewrites.mli
@@ -60,6 +60,9 @@ val rewrite_defs_ocaml : (string * (tannot defs -> tannot defs)) list
 (* Perform rewrites to exclude AST nodes not supported for lem out*)
 val rewrite_defs_lem : (string * (tannot defs -> tannot defs)) list
 
+(* Perform rewrites to sail intermediate language *)
+val rewrite_defs_interpreter : (string * (tannot defs -> tannot defs)) list
+
 (* Perform rewrites to sail intermediate language *)
 val rewrite_defs_sil : (string * (tannot defs -> tannot defs)) list
 
-- 
cgit v1.2.3