From 2d949ad188476ce8060b24c3ccff1008cc654d62 Mon Sep 17 00:00:00 2001
From: Pierre Wilke <pierre.wilke@centralesupelec.fr>
Date: Tue, 1 Feb 2022 00:41:10 +0100
Subject: [PATCH] minor update
---
src/Makefile | 2 +-
tests/basic/arg-test.e.expect_1_2_3 | 2 +-
2 files changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/Makefile b/src/Makefile
index 896e3db..ea616e9 100644
--- a/src/Makefile
+++ b/src/Makefile
@@ -16,7 +16,7 @@ PROF:=$(if $(PROF),-ocamlopt ocamloptp,)
all: $(TG)
$(TG): $(SRC)
- ocamlbuild $(PROF) -cflags -warn-error,"+a-26" -cflags -w,"-26" -use-ocamlfind $(TG)
+ ocamlbuild $(PROF) -cflags -warn-error,"+a-26" -cflags -w,"-26" -menhir "menhir --unused-tokens" -use-ocamlfind $(TG)
test_lexer: archi.ml config.ml e_regexp.ml lexer_generator.ml symbols.ml test_lexer.ml utils.ml
ocamlbuild -use-ocamlfind test_lexer.native
diff --git a/tests/basic/arg-test.e.expect_1_2_3 b/tests/basic/arg-test.e.expect_1_2_3
index 4de51e4..b55e8e2 100644
--- a/tests/basic/arg-test.e.expect_1_2_3
+++ b/tests/basic/arg-test.e.expect_1_2_3
@@ -1 +1 @@
-{"output": "", "error": null, "retval": 20}
\ No newline at end of file
+{"output": "", "error": null, "retval": 10}
\ No newline at end of file
--
GitLab