diff options
| -rw-r--r-- | src/parser/pl.ypp | 27 |
1 files changed, 14 insertions, 13 deletions
diff --git a/src/parser/pl.ypp b/src/parser/pl.ypp index 71809b049..b0946b41b 100644 --- a/src/parser/pl.ypp +++ b/src/parser/pl.ypp @@ -328,19 +328,20 @@ Expr: delete $1; delete $3; } - // | Expr IMPLIES_TOK Expr - // { - // $$ = new CVC3::Expr(VC->listExpr("_IMPLIES", *$1, *$3)); - // delete $1; - // delete $3; - // } - // | Expr IFF_TOK Expr - // { - // $$ = new CVC3::Expr(VC->listExpr("_IFF", *$1, *$3)); - // delete $1; - // delete $3; - // } -; + | Expr IMPLIES_TOK Expr { + $$ = new Expr(EM->mkExpr(IMPLIES, *$1, *$3)); + delete $1; + delete $3; + } + | Expr IFF_TOK Expr { + $$ = new Expr(EM->mkExpr(IFF, *$1, *$3)); + delete $1; + delete $3; + } + | NOT_TOK Expr { + $$ = new Expr(EM->mkExpr(NOT, *$2)); + delete $2; + } ; // Identifier: |