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/process_file.ml | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/process_file.ml')

diff --git a/src/process_file.ml b/src/process_file.ml
index 68e5786e..68b08fd4 100644
--- a/src/process_file.ml
+++ b/src/process_file.ml
@@ -237,4 +237,5 @@ let rewrite_undefined = rewrite [("undefined", fun x -> Rewrites.rewrite_undefin
 let rewrite_ast_lem = rewrite Rewrites.rewrite_defs_lem
 let rewrite_ast_ocaml = rewrite Rewrites.rewrite_defs_ocaml
 let rewrite_ast_sil = rewrite Rewrites.rewrite_defs_sil
+let rewrite_ast_interpreter = rewrite Rewrites.rewrite_defs_interpreter
 let rewrite_ast_check = rewrite Rewrites.rewrite_defs_check
-- 
cgit v1.2.3