diff options
| author | Gabriel Kerneis | 2014-03-18 13:32:21 +0000 |
|---|---|---|
| committer | Gabriel Kerneis | 2014-03-18 13:32:21 +0000 |
| commit | ef17899571edf9f937c0c9397ece277f99540e55 (patch) | |
| tree | fc1b12b7631cfa23324ffca9d64395586217325a /src/parser.mly | |
| parent | 0e5d48a091c847d773e2305359a7d959f8fac19e (diff) | |
More library functions for Power
Diffstat (limited to 'src/parser.mly')
| -rw-r--r-- | src/parser.mly | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/parser.mly b/src/parser.mly index 8672704f..4fef21f7 100644 --- a/src/parser.mly +++ b/src/parser.mly @@ -181,6 +181,8 @@ id: { idl (DeIid($3)) } | Lparen Deinfix Div Rparen { idl (DeIid($3)) } + | Lparen Deinfix Quot Rparen + { idl (DeIid("quot")) } | Lparen Deinfix Eq Rparen { Id_aux(DeIid($3),loc ()) } | Lparen Deinfix Excl Lparen |