summaryrefslogtreecommitdiff
path: root/src/specialize.ml
diff options
context:
space:
mode:
authorAlasdair2020-09-28 15:01:04 +0100
committerAlasdair2020-09-28 15:34:06 +0100
commitcf42208a74138a32393073fef574c24bd73a27fc (patch)
treed2cb2a894c87654c8b6209596fb30c100a65c072 /src/specialize.ml
parent551bca444eaf0acd97324c12005e9a8280437217 (diff)
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.
Diffstat (limited to 'src/specialize.ml')
-rw-r--r--src/specialize.ml1
1 files changed, 1 insertions, 0 deletions
diff --git a/src/specialize.ml b/src/specialize.ml
index d705b83a..b703d27a 100644
--- a/src/specialize.ml
+++ b/src/specialize.ml
@@ -49,6 +49,7 @@
(**************************************************************************)
open Ast
+open Ast_defs
open Ast_util
open Rewriter