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/pretty_print_lem.ml | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/pretty_print_lem.ml')

diff --git a/src/pretty_print_lem.ml b/src/pretty_print_lem.ml
index b18541a3..c3006d7a 100644
--- a/src/pretty_print_lem.ml
+++ b/src/pretty_print_lem.ml
@@ -50,6 +50,7 @@
 
 open Type_check
 open Ast
+open Ast_defs
 open Ast_util
 open Reporting
 open Rewriter
-- 
cgit v1.2.3