From 53347ecc40b308b0b75a620453bfa8bd520a2c70 Mon Sep 17 00:00:00 2001
From: Escherichia
Date: Thu, 28 Mar 2024 16:31:24 +0100
Subject: changes after git rebase main

---
 compiler/Translate.ml | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

(limited to 'compiler/Translate.ml')

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 *)
-- 
cgit v1.2.3