From 014c0668abf0834342b2b7076cf2f0634460e519 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Tue, 19 Dec 2023 13:24:53 +0100
Subject: Remove SymbolicToPure.bs_ctx.loop_backward_outputs

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

(limited to 'compiler/Translate.ml')

diff --git a/compiler/Translate.ml b/compiler/Translate.ml
index 0fa0202b..631a5af9 100644
--- a/compiler/Translate.ml
+++ b/compiler/Translate.ml
@@ -172,7 +172,6 @@ let translate_function_to_pure (trans_ctx : trans_ctx)
       (* Initialized just below *)
       backward_inputs_with_state = RegionGroupId.Map.empty;
       backward_outputs = None;
-      loop_backward_outputs = None;
       (* Empty for now *)
       calls;
       abstractions;
-- 
cgit v1.2.3