diff options
Diffstat (limited to 'src/parser/cvc/Cvc.g')
-rw-r--r-- | src/parser/cvc/Cvc.g | 8 |
1 files changed, 1 insertions, 7 deletions
diff --git a/src/parser/cvc/Cvc.g b/src/parser/cvc/Cvc.g index 2dceba768..dca61fe48 100644 --- a/src/parser/cvc/Cvc.g +++ b/src/parser/cvc/Cvc.g @@ -1306,14 +1306,8 @@ restrictedTypePossiblyFunctionLHS[CVC4::Type& t, { /*symtab = PARSER_STATE->getSymbolTable(); PARSER_STATE->useDeclarationsFrom(new SymbolTable());*/ } formula[f] ( COMMA formula[f2] )? RPAREN - { /*SymbolTable* old = PARSER_STATE->getSymbolTable(); - PARSER_STATE->useDeclarationsFrom(symtab); - delete old;*/ + { PARSER_STATE->unimplementedFeature("predicate subtyping not supported in this release"); - /*t = f2.isNull() ? - EXPR_MANAGER->mkPredicateSubtype(f) : - EXPR_MANAGER->mkPredicateSubtype(f, f2); - */ } /* subrange types */ |