From 9bc2b13420c1655bf3dd1cde8f90ac2d98fea0e2 Mon Sep 17 00:00:00 2001
From: Kathy Gray
Date: Thu, 24 Sep 2015 14:43:25 +0100
Subject: Beginning of expression rewriter for ocaml

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

(limited to 'src/rewriter.mli')

diff --git a/src/rewriter.mli b/src/rewriter.mli
index 419be937..a28eed4a 100644
--- a/src/rewriter.mli
+++ b/src/rewriter.mli
@@ -17,3 +17,4 @@ type 'a rewriters = { rewrite_exp : 'a rewriters -> nexp_map option -> 'a exp ->
 
 val rewrite_exp : tannot rewriters -> nexp_map option -> tannot exp -> tannot exp
 val rewrite_defs : tannot defs -> tannot defs
+val rewrite_defs_ocaml : tannot defs -> tannot defs (*Perform rewrites to exclude AST nodes not supported for ocaml out*)
-- 
cgit v1.2.3