From ef830bd7bedcad8b465aa4ac92cff30649426ea4 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Thu, 18 Nov 2021 18:24:58 +0100
Subject: Start working on end_borrow

---
 src/Errors.ml | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'src/Errors.ml')

diff --git a/src/Errors.ml b/src/Errors.ml
index dcdc9102..b9263d5a 100644
--- a/src/Errors.ml
+++ b/src/Errors.ml
@@ -3,3 +3,7 @@ exception IntegerOverflow of unit
 exception Unimplemented of string
 
 let unimplemented msg = raise (Unimplemented ("unimplemented: " ^ msg))
+
+exception Unreachable of string
+
+let unreachable msg = raise (Unreachable ("unreachable: " ^ msg))
-- 
cgit v1.2.3