Fix nullary operator printers, minor.

2 files changed, 2 insertions, 2 deletions

diff --git a/src/theory/sep/theory_sep_type_rules.h b/src/theory/sep/theory_sep_type_rules.h
index 25166ca8e..0eae782c8 100644
--- a/src/theory/sep/theory_sep_type_rules.h
+++ b/src/theory/sep/theory_sep_type_rules.h
@@ -104,7 +104,7 @@ struct SepNilTypeRule {
     throw (TypeCheckingExceptionPrivate, AssertionException) {
     Assert(n.getKind() == kind::SEP_NIL);
     Assert(check);
-    TypeNode type = n.getType(false);
+    TypeNode type = n.getType();
     return type;
   }
 };/* struct SepLabelTypeRule */
diff --git a/src/theory/sets/theory_sets_type_rules.h b/src/theory/sets/theory_sets_type_rules.h
index 541835980..25ca63c28 100644
--- a/src/theory/sets/theory_sets_type_rules.h
+++ b/src/theory/sets/theory_sets_type_rules.h
@@ -180,7 +180,7 @@ struct UniverseSetTypeRule {
     Assert(n.getKind() == kind::UNIVERSE_SET);
     // for nullary operators, we only computeType for check=true, since they are given TypeAttr() on creation
     Assert(check);
-    TypeNode setType = n.getType(false);
+    TypeNode setType = n.getType();
     if(!setType.isSet()) {
       throw TypeCheckingExceptionPrivate(n, "COMPLEMENT operates on a set, non-set object found");
     }