summaryrefslogtreecommitdiff
path: root/src/initial_check.ml
diff options
context:
space:
mode:
authorAlasdair2020-09-29 16:45:03 +0100
committerAlasdair2020-09-29 16:45:03 +0100
commit1609552d3ff34bd887755c163eb27eb98b72837f (patch)
treee59cdafdb15610cf481a74d2e05e3dcc3d238a20 /src/initial_check.ml
parent7441db19749fb7fb9383b6361dfbd99547e53486 (diff)
Include comments in AST type
Diffstat (limited to 'src/initial_check.ml')
-rw-r--r--src/initial_check.ml2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/initial_check.ml b/src/initial_check.ml
index a958dced..1b21e2be 100644
--- a/src/initial_check.ml
+++ b/src/initial_check.ml
@@ -847,7 +847,7 @@ let to_ast ctx (P.Defs files) =
let defs', ctx = to_ast_defs ctx file in (defs @ wrap_file (fst file) defs', ctx)
) ([], ctx) files
in
- { defs = defs }, ctx
+ { defs = defs; comments = [] }, ctx
let initial_ctx = {
type_constructors =