Split eval_local_function_call_symbolic to isolate a function which can

be reused for non-local function calls

1 files changed, 6 insertions, 0 deletions

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.
+ *)