diff options
author | Escherichia | 2024-03-28 16:31:24 +0100 |
---|---|---|
committer | Escherichia | 2024-03-28 16:31:24 +0100 |
commit | 53347ecc40b308b0b75a620453bfa8bd520a2c70 (patch) | |
tree | f88cc4c48d7d9f7a57cc30b966dea043bba0e7fe /compiler/Translate.ml | |
parent | 5ad671a0960692af1c00609fa6864c6f44ca299c (diff) |
changes after git rebase main
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 *) |