argh

FStarLang · Aug 23, 2017 · 01afc3f · 01afc3f
1 parent 80a2211
commit 01afc3f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/parser/ml/FStar_Parser_ParseIt.ml b/src/parser/ml/FStar_Parser_ParseIt.ml
@@ -87,7 +87,7 @@ let parse fn =
       U.Inl (frags, FStar_Parser_LexFStar.flush_comments ())
   with
     | FStar_Errors.Empty_frag ->
-      U.Inl ([], [])
+      U.Inl (U.Inl [], [])
 
     | FStar_Errors.Error(msg, r) ->
       U.Inr (msg, r)