From cf42208a74138a32393073fef574c24bd73a27fc Mon Sep 17 00:00:00 2001
From: Alasdair
Date: Mon, 28 Sep 2020 15:01:04 +0100
Subject: Move the ast defs wrapper into it's own file

This refactoring is intended to allow this type to have more than just a
list of definitions in future.
---
 src/initial_check.ml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'src/initial_check.ml')

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
 
-- 
cgit v1.2.3