From 761101986fad090b913001f3080026cbf249e58a Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Tue, 25 Jan 2022 21:22:00 +0100
Subject: Add a SynthInputGivenBack case in Values.sv_kind

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

(limited to 'src/InterpreterUtils.ml')

diff --git a/src/InterpreterUtils.ml b/src/InterpreterUtils.ml
index 157ac68d..20657945 100644
--- a/src/InterpreterUtils.ml
+++ b/src/InterpreterUtils.ml
@@ -237,8 +237,9 @@ let value_has_ret_symbolic_value_with_borrow_under_mut (ctx : C.eval_ctx)
             if ty_has_borrow_under_mut ctx.type_context.type_infos s.sv_ty then
               raise Found
             else ()
-        | V.SynthInput -> ()
-        | V.FunCallGivenBack | V.SynthRetGivenBack -> failwith "Unreachable"
+        | V.SynthInput | V.SynthInputGivenBack | V.FunCallGivenBack
+        | V.SynthRetGivenBack ->
+            ()
     end
   in
   (* We use exceptions *)
-- 
cgit v1.2.3