diff options
Diffstat (limited to 'src/initial_check.ml')
| -rw-r--r-- | src/initial_check.ml | 2 |
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 = |