From 5ce46e8a6ac10388b7a2032c7d67a81da0edbd5e Mon Sep 17 00:00:00 2001
From: ajreynol <andrew.j.reynolds@gmail.com>
Date: Fri, 5 May 2017 09:35:12 -0500
Subject: [PATCH] Fix error message.

---
 src/theory/sets/theory_sets_type_rules.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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;
   }
-- 
2.30.2