From 46c0648948caa9f57cdd7e8561470e598eb814ab Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Mon, 29 Nov 2021 22:23:08 +0100
Subject: Fix a small mistake

---
 src/Interpreter.ml | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

(limited to 'src')

diff --git a/src/Interpreter.ml b/src/Interpreter.ml
index 38da6c25..00adf68a 100644
--- a/src/Interpreter.ml
+++ b/src/Interpreter.ml
@@ -1329,9 +1329,7 @@ let rec collect_borrows_at_place (config : C.config) (access : access_kind)
       let rec inspect_update v : unit =
         match v.V.value with
         | V.Concrete _ -> ()
-        | V.Bottom ->
-            failwith "Unreachable"
-            (* note that we don't really need to fail here *)
+        | V.Bottom -> ()
         | V.Symbolic _ ->
             (* Nothing to do for symbolic values - note that if the value needs
                to be copied, etc. we perform additional checks later *)
-- 
cgit v1.2.3