Fix error message.

diff --git a/src/theory/sets/theory_sets_type_rules.h b/src/theory/sets/theory_sets_type_rules.h
index 7462847b69f2ac3ae10aae91a42c5dede5bedd4d..b8c0a80559391986f161c2fbf27b741fb2b1087b 100644 (file)
--- 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;
   }