diff options
Diffstat (limited to '')
| -rw-r--r-- | compiler/Utils.ml | 7 |
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 |