From 40f7b4c7398db2b832b71e3dfb8afb53116fad51 Mon Sep 17 00:00:00 2001
From: Chimrod <>
Date: Wed, 27 Sep 2023 13:31:14 +0200
Subject: Switched to sedlex instead of ocamllex

---
 bin/dune          | 1 +
 bin/qsp_parser.ml | 3 ++-
 2 files changed, 3 insertions(+), 1 deletion(-)

(limited to 'bin')

diff --git a/bin/dune b/bin/dune
index 9702e66..f7aacc3 100644
--- a/bin/dune
+++ b/bin/dune
@@ -2,6 +2,7 @@
  (public_name qsp_parser)
  (name qsp_parser)
  (libraries 
+   sedlex
    qsp_syntax
    qparser)
 
diff --git a/bin/qsp_parser.ml b/bin/qsp_parser.ml
index af12abe..4ed2ba7 100644
--- a/bin/qsp_parser.ml
+++ b/bin/qsp_parser.ml
@@ -43,7 +43,8 @@ let () =
   let file_name = List.hd file_names in
 
   let ic = Stdlib.open_in file_name in
-  let lexer = Lexing.from_channel ~with_positions:true ic in
+  (*let lexer = Lexing.from_channel ~with_positions:true ic in*)
+  let lexer = Sedlexing.Utf8.from_channel ic in
   let result = Qparser.Analyzer.parse (module Qsp_syntax.Type_of) lexer in
   match result with
   | Ok f -> (
-- 
cgit v1.2.3