diff options
Diffstat (limited to 'toplevel/cerrors.ml')
| -rw-r--r-- | toplevel/cerrors.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/toplevel/cerrors.ml b/toplevel/cerrors.ml index 8a4487727..d2d180a6a 100644 --- a/toplevel/cerrors.ml +++ b/toplevel/cerrors.ml @@ -14,6 +14,7 @@ open Ast open Indtypes open Type_errors open Pretype_errors +open Indrec open Lexer let print_loc loc = |