From 2b5186fef6932995626790af241eaed4e7cc02ae Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Tue, 28 May 2024 18:04:38 +0200
Subject: Fix a bug in SymbolicToPure.translate_loop

---
 compiler/SymbolicToPure.ml | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

(limited to 'compiler')

diff --git a/compiler/SymbolicToPure.ml b/compiler/SymbolicToPure.ml
index d6d2e018..cc203040 100644
--- a/compiler/SymbolicToPure.ml
+++ b/compiler/SymbolicToPure.ml
@@ -3529,10 +3529,7 @@ and translate_loop (loop : S.loop) (ctx : bs_ctx) : texpression =
       if effect_info.stateful then mk_simpl_tuple_ty [ mk_state_ty; output ]
       else output
     in
-    let output =
-      if effect_info.can_fail && inputs <> [] then mk_result_ty output
-      else output
-    in
+    let output = if effect_info.can_fail then mk_result_ty output else output in
     (back_info, output)
   in
 
-- 
cgit v1.2.3