From: ajreynol <andrew.j.reynolds@gmail.com>
Date: Fri, 5 May 2017 14:35:12 +0000 (-0500)
Subject: Fix error message.
X-Git-Tag: cvc5-1.0.0~5810
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=5ce46e8a6ac10388b7a2032c7d67a81da0edbd5e;p=cvc5.git

Fix error message.
---

diff --git a/src/theory/sets/theory_sets_type_rules.h b/src/theory/sets/theory_sets_type_rules.h
index 7462847b6..b8c0a8055 100644
--- a/src/theory/sets/theory_sets_type_rules.h
+++ b/src/theory/sets/theory_sets_type_rules.h
@@ -192,7 +192,7 @@ struct UniverseSetTypeRule {
     Assert(check);
     TypeNode setType = n.getType();
     if(!setType.isSet()) {
-      throw TypeCheckingExceptionPrivate(n, "COMPLEMENT operates on a set, non-set object found");
+      throw TypeCheckingExceptionPrivate(n, "Non-set type found for universe set");
     }
     return setType;
   }