From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Fri, 15 Feb 2013 20:16:23 +0000 (-0500)
Subject: Fix typo in error message
X-Git-Tag: cvc5-1.0.0~7406^2~1
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=06c01df09ee58951d09791d2a70a18ae8e926f1a;p=cvc5.git

Fix typo in error message
---

diff --git a/src/compat/cvc3_compat.cpp b/src/compat/cvc3_compat.cpp
index 02d76d351..4f40fe4e8 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);