diff options
| author | Morgan Deters <mdeters@cs.nyu.edu> | 2013-02-16 15:22:14 -0500 |
|---|---|---|
| committer | Morgan Deters <mdeters@cs.nyu.edu> | 2013-02-16 15:22:14 -0500 |
| commit | 5e29fdffd2f72212d699316f9b27e1bf9d6c715c (patch) | |
| tree | 8c42e9d564a56561389d09a5ae5982a3b3a02d63 | |
| parent | 72832c1a749e4bde8d16930b0f59e5db9810cafc (diff) | |
| parent | 06c01df09ee58951d09791d2a70a18ae8e926f1a (diff) | |
Merge branch '1.0.x'
| -rw-r--r-- | src/compat/cvc3_compat.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/compat/cvc3_compat.cpp b/src/compat/cvc3_compat.cpp index 2a8673451..0cd35ce0d 100644 --- a/src/compat/cvc3_compat.cpp +++ b/src/compat/cvc3_compat.cpp @@ -1075,7 +1075,7 @@ Type ValidityChecker::subrangeType(const Expr& l, const Expr& r) { } Type ValidityChecker::subtypeType(const Expr& pred, const Expr& witness) { - Unimplemented("Records not supported by CVC4 yet (sorry!)"); + Unimplemented("Predicate subtyping not supported by CVC4 yet (sorry!)"); /* if(witness.isNull()) { return d_em->mkPredicateSubtype(pred); |