diff options
Diffstat (limited to 'frontend/ast_util.ml')
| -rw-r--r-- | frontend/ast_util.ml | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/frontend/ast_util.ml b/frontend/ast_util.ml index b3393a7..d229f2f 100644 --- a/frontend/ast_util.ml +++ b/frontend/ast_util.ml @@ -6,7 +6,6 @@ open Util let combinatorial_cycle v = error ("Combinatorial cycle with variable: " ^ v) let no_variable e = error ("No such variable: " ^ e) let type_error e = error ("Type error: " ^ e) -let not_implemented e = error ("Not implemented: " ^ e) let invalid_arity e = error ("Invalid arity (" ^ e ^ ")") (* Utility : find declaration of a const / a node *) |