diff options
Diffstat (limited to '')
-rw-r--r-- | compiler/Translate.ml | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/compiler/Translate.ml b/compiler/Translate.ml index f97d7ab1..9834fe81 100644 --- a/compiler/Translate.ml +++ b/compiler/Translate.ml @@ -447,9 +447,8 @@ let export_global (fmt : Format.formatter) (config : gen_config) (ctx : gen_ctx) let global_decls = ctx.trans_ctx.global_ctx.global_decls in let global = GlobalDeclId.Map.find id global_decls in let trans = FunDeclId.Map.find global.body ctx.trans_funs in - sanity_check (trans.fwd.loops = []) global.meta; - sanity_check (trans.backs = []) global.meta; - let body = trans.fwd.f in + sanity_check (trans.loops = []) global.meta; + let body = trans.f in let is_opaque = Option.is_none body.Pure.body in (* Check if we extract the global *) |