From cdb18b1e79bef443c49553eba6dcafb729471cfa Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Mon, 12 Feb 2018 18:52:23 +0000
Subject: Add support for top-level letbindings to C backend

---
 src/initial_check.mli | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/initial_check.mli')

diff --git a/src/initial_check.mli b/src/initial_check.mli
index 197139f4..757959f7 100644
--- a/src/initial_check.mli
+++ b/src/initial_check.mli
@@ -61,7 +61,7 @@ val opt_magic_hash : bool ref
    back.  Otherwise generated T_of_num and num_of_T functions must be
    manually used for each enum T *)
 val opt_enum_casts : bool ref
-                          
+
 (* This is a bit of a hack right now - it ensures that the undefiend
    builtins (undefined_vector etc), only get added to the ast
    once. The original assumption in sail is that the whole AST gets
-- 
cgit v1.2.3