diff options
Diffstat (limited to 'src/parser/cvc/Cvc.g')
| -rw-r--r-- | src/parser/cvc/Cvc.g | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/parser/cvc/Cvc.g b/src/parser/cvc/Cvc.g index c865332e2..171c6cab0 100644 --- a/src/parser/cvc/Cvc.g +++ b/src/parser/cvc/Cvc.g @@ -1293,7 +1293,8 @@ restrictedTypePossiblyFunctionLHS[CVC4::Type& t, << "] inappropriate: range must be nonempty!"; PARSER_STATE->parseError(ss.str()); } - t = EXPR_MANAGER->mkSubrangeType(SubrangeBounds(k1, k2)); + PARSER_STATE->unimplementedFeature("subrange typing not supported in this release"); + //t = EXPR_MANAGER->mkSubrangeType(SubrangeBounds(k1, k2)); } /* tuple types / old-style function types */ |