From 10e2be330c14aaddbd8ada6b6ce8a8a63c7d605e Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Wed, 24 Jan 2018 17:44:22 +0000
Subject: Have some simple sail programs compiling to C

---
 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 12be7f31..41a13ffa 100644
--- a/src/rewrites.mli
+++ b/src/rewrites.mli
@@ -63,6 +63,9 @@ val rewrite_defs_interpreter : (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 exclude AST nodes not supported for C compilation *)
+val rewrite_defs_c : (string * (tannot defs -> tannot defs)) list
+
 (* This is a special rewriter pass that checks AST invariants without
    actually doing any re-writing *)
 val rewrite_defs_check : (string * (tannot defs -> tannot defs)) list
-- 
cgit v1.2.3