diff options
| author | Alasdair Armstrong | 2018-02-12 18:52:23 +0000 |
|---|---|---|
| committer | Alasdair Armstrong | 2018-02-12 18:52:23 +0000 |
| commit | cdb18b1e79bef443c49553eba6dcafb729471cfa (patch) | |
| tree | d440e99c3bb6462fa0a9df0a72c0aefd1712bafb /src/initial_check.mli | |
| parent | f485db41c7e7b07922a3a693eafbaea5ebacb998 (diff) | |
Add support for top-level letbindings to C backend
Diffstat (limited to 'src/initial_check.mli')
| -rw-r--r-- | src/initial_check.mli | 2 |
1 files changed, 1 insertions, 1 deletions
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 |