Merge pull request #685 from ppedrot/stream_error_to_gramlib

Adapt w.r.t. coq/coq#17136.
coq · Nov 9, 2023 · fd291f5 · fd291f5
2 parents e2ac4a9 + 52e93f5
commit fd291f5
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/language-server/dm/document.ml b/language-server/dm/document.ml
@@ -278,7 +278,7 @@ let rec parse_more synterp_state stream raw parsed errors =
           let loc = Loc.get_loc @@ info in
           handle_parse_error start (loc, Pp.string_of_ppcmds @@ CErrors.iprint_no_report (e,info))
         end
-    | exception (Stream.Error msg as exn) ->
+    | exception (Grammar.Error msg as exn) ->
       let loc = Loc.get_loc @@ Exninfo.info exn in
       junk_sentence_end stream;
       handle_parse_error start (loc,msg)
@@ -375,4 +375,4 @@ module Internal = struct
     sentence.start
     sentence.stop
 
-end
+end