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/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 fc5e792f..ec280fbf 100644
--- a/src/process_file.ml
+++ b/src/process_file.ml
@@ -214,5 +214,6 @@ let rewrite_ast = rewrite [("initial", Rewriter.rewrite_defs)]
 let rewrite_undefined = rewrite [("undefined", fun x -> Rewrites.rewrite_undefined !Pretty_print_lem.opt_mwords x)]
 let rewrite_ast_lem = rewrite Rewrites.rewrite_defs_lem
 let rewrite_ast_ocaml = rewrite Rewrites.rewrite_defs_ocaml
+let rewrite_ast_c = rewrite Rewrites.rewrite_defs_c
 let rewrite_ast_interpreter = rewrite Rewrites.rewrite_defs_interpreter
 let rewrite_ast_check = rewrite Rewrites.rewrite_defs_check
-- 
cgit v1.2.3