From 46381652adbece2d7ccfd57fae8b5ee2365fb374 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Fri, 6 Jan 2023 16:51:27 +0100
Subject: Fix some issues with the values given back by loop backward
 translations

---
 compiler/Translate.ml | 1 +
 1 file changed, 1 insertion(+)

(limited to 'compiler/Translate.ml')

diff --git a/compiler/Translate.ml b/compiler/Translate.ml
index 800bac00..66280ed7 100644
--- a/compiler/Translate.ml
+++ b/compiler/Translate.ml
@@ -144,6 +144,7 @@ let translate_function_to_pure (trans_ctx : trans_ctx)
       backward_inputs = T.RegionGroupId.Map.empty;
       (* Empty for now *)
       backward_outputs = T.RegionGroupId.Map.empty;
+      loop_backward_outputs = None;
       (* Empty for now *)
       calls;
       abstractions;
-- 
cgit v1.2.3