diff options
Diffstat (limited to 'src/jib/c_backend.mli')
| -rw-r--r-- | src/jib/c_backend.mli | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/jib/c_backend.mli b/src/jib/c_backend.mli index 7314eb5a..3e8c426b 100644 --- a/src/jib/c_backend.mli +++ b/src/jib/c_backend.mli @@ -100,7 +100,6 @@ val optimize_primops : bool ref val optimize_hoist_allocations : bool ref val optimize_struct_updates : bool ref val optimize_alias : bool ref -val optimize_experimental : bool ref (** Convert a typ to a IR ctyp *) val ctyp_of_typ : Jib_compile.ctx -> Ast.typ -> ctyp |