From 8f2038542bcb8ec93b6c6447f38d098cff98fc2c Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Wed, 5 Jan 2022 19:21:13 +0100
Subject: Split eval_local_function_call_symbolic to isolate a function which
 can be reused for non-local function calls

---
 src/Utils.ml | 6 ++++++
 1 file changed, 6 insertions(+)
 create mode 100644 src/Utils.ml

(limited to 'src/Utils.ml')

diff --git a/src/Utils.ml b/src/Utils.ml
new file mode 100644
index 00000000..a285e869
--- /dev/null
+++ b/src/Utils.ml
@@ -0,0 +1,6 @@
+exception Found
+(** Utility exception
+
+    When looking for something while exploring a term, it can be easier to
+    just throw an exception to signal we found what we were looking for.
+ *)
-- 
cgit v1.2.3