From f135a5fcb6c9827d07025a143b190cbbf8eddc15 Mon Sep 17 00:00:00 2001 From: Chimrod <> Date: Fri, 13 Oct 2023 16:18:34 +0200 Subject: Made the interface more parametrized --- lib/qparser/parser.mly | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'lib/qparser') diff --git a/lib/qparser/parser.mly b/lib/qparser/parser.mly index 8547e17..556a9ec 100644 --- a/lib/qparser/parser.mly +++ b/lib/qparser/parser.mly @@ -11,7 +11,7 @@ ; body : Analyzer.Instruction.t Qsp_syntax.S.repr list ; pos : Qsp_syntax.S.pos ; else_ : ( - ( Analyzer.Instruction.clause list + ( (Analyzer.Instruction.expression, Analyzer.Instruction.t) Qsp_syntax.S.clause list * Analyzer.Instruction.t Qsp_syntax.S.repr list ) option ) } -- cgit v1.2.3