whitespace fixes

3 files changed, 4 insertions, 4 deletions

diff --git a/src/theory/sets/scrutinize.h b/src/theory/sets/scrutinize.h
index a4f3f6a6d..dc5feecda 100644
--- a/src/theory/sets/scrutinize.h
+++ b/src/theory/sets/scrutinize.h
@@ -35,11 +35,11 @@ public:
   }
   void postCheckInvariants() const {
     Debug("sets-scrutinize") << "[sets-scrutinize] postCheckInvariants()" << std::endl;
-    
+
     // assume not in conflict, and complete:
     // - try building model
     // - check it
-    
+
     TheorySetsPrivate::SettermElementsMap settermElementsMap;
     TNode true_atom = NodeManager::currentNM()->mkConst<bool>(true);
     std::set<Node> terms;
diff --git a/src/theory/sets/theory_sets_private.cpp b/src/theory/sets/theory_sets_private.cpp
index 8db4c5688..810a718b9 100644
--- a/src/theory/sets/theory_sets_private.cpp
+++ b/src/theory/sets/theory_sets_private.cpp
@@ -553,7 +553,7 @@ void TheorySetsPrivate::computeCareGraph() {
         }
 	if(Debug.isOn("sets-care")) {
 	  Debug("sets-care") << "[sets-care] Requesting split between" << a << " and "
-			     << b << "." << std::endl << "[sets-care] " 
+			     << b << "." << std::endl << "[sets-care] "
 			     << "  Both current have value "
 			     << d_external.d_valuation.getModelValue(a) << std::endl;
 	}
diff --git a/src/theory/sets/theory_sets_private.h b/src/theory/sets/theory_sets_private.h
index 3d93adb48..536987073 100644
--- a/src/theory/sets/theory_sets_private.h
+++ b/src/theory/sets/theory_sets_private.h
@@ -47,7 +47,7 @@ public:
                     context::UserContext* u);
 
   ~TheorySetsPrivate();
-  
+
   void setMasterEqualityEngine(eq::EqualityEngine* eq);
 
   void addSharedTerm(TNode);