From 71bdfc566bd50323695842a1c78007e1daac0e61 Mon Sep 17 00:00:00 2001 From: Chimrod <> Date: Thu, 28 Sep 2023 18:52:29 +0200 Subject: Added a way to discard the content until the end of the location — recover after an error MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- lib/dune | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'lib/dune') diff --git a/lib/dune b/lib/dune index 5717f90..f62c90e 100644 --- a/lib/dune +++ b/lib/dune @@ -1,8 +1,9 @@ (library (name qparser) (libraries - qsp_syntax + str menhirLib + qsp_syntax ) (preprocess (pps sedlex.ppx -- cgit v1.2.3