diff options
Diffstat (limited to 'src/c_backend.mli')
| -rw-r--r-- | src/c_backend.mli | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/c_backend.mli b/src/c_backend.mli index 9782f24f..10bf9f40 100644 --- a/src/c_backend.mli +++ b/src/c_backend.mli @@ -56,6 +56,7 @@ open Type_check val opt_debug_flow_graphs : bool ref val opt_debug_function : string ref val opt_trace : bool ref +val opt_smt_trace : bool ref val opt_static : bool ref val opt_no_main : bool ref |