From afe13e92cf46e0bd4bf493bd0896f9fc0152ff37 Mon Sep 17 00:00:00 2001 From: Chimrod <> Date: Sun, 24 Sep 2023 12:51:35 +0200 Subject: Variable without index are now evaluated as well --- lib/parser.mly | 5 ----- 1 file changed, 5 deletions(-) (limited to 'lib/parser.mly') diff --git a/lib/parser.mly b/lib/parser.mly index c506e9c..35aebaf 100644 --- a/lib/parser.mly +++ b/lib/parser.mly @@ -1,11 +1,6 @@ %{ - - module T = Qsp_syntax.T - - let dummy_pos = (Lexing.dummy_pos, Lexing.dummy_pos) - %} %parameter -- cgit v1.2.3