argh

FStarLang · Aug 23, 2017 · fa9b1fd · fa9b1fd
1 parent 01afc3f
commit fa9b1fd
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 (U.Inr [], [])
 
     | FStar_Errors.Error(msg, r) ->
       U.Inr (msg, r)