diff options
| author | Chimrod <> | 2023-10-13 16:18:34 +0200 |
|---|---|---|
| committer | Chimrod <> | 2023-10-18 09:49:47 +0200 |
| commit | f135a5fcb6c9827d07025a143b190cbbf8eddc15 (patch) | |
| tree | 6dd0ce2c1ab0a827872289336c732378f04f81fd /lib/qparser | |
| parent | 4b47c572fc7122154813c8bb5da477c0f152f002 (diff) | |
Made the interface more parametrized
Diffstat (limited to 'lib/qparser')
| -rw-r--r-- | lib/qparser/parser.mly | 2 |
1 files changed, 1 insertions, 1 deletions
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 ) } |