summaryrefslogtreecommitdiff
path: root/compiler/Utils.ml
diff options
context:
space:
mode:
Diffstat (limited to 'compiler/Utils.ml')
-rw-r--r--compiler/Utils.ml7
1 files changed, 1 insertions, 6 deletions
diff --git a/compiler/Utils.ml b/compiler/Utils.ml
index 9a79eb55..987ac317 100644
--- a/compiler/Utils.ml
+++ b/compiler/Utils.ml
@@ -1,6 +1 @@
-(** 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.
- *)
-exception Found
+include Charon.Utils