diff options
Diffstat (limited to 'src/initial_check.ml')
| -rw-r--r-- | src/initial_check.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/initial_check.ml b/src/initial_check.ml index 828d1b5e..c0d956c4 100644 --- a/src/initial_check.ml +++ b/src/initial_check.ml @@ -49,8 +49,9 @@ (**************************************************************************) open Ast -open Util +open Ast_defs open Ast_util +open Util open Printf module Big_int = Nat_big_num |