* Whitespace changes to reduce compiler warnings.

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@181 e59a4935-1847-0410-ae03-e826735625c1

diff --git a/src/sat/mtl/Alg.h b/src/sat/mtl/Alg.h
index c9b4f9007fc21b6261db0e154c1780b92d089090..5e8e1763545801ba0f321faf2e26674a3268429e 100644 (file)
--- a/src/sat/mtl/Alg.h
+++ b/src/sat/mtl/Alg.h
@@ -31,7 +31,7 @@ template<class V, class T>
 static inline void remove(V& ts, const T& t)
 {
     int j = 0;
-    for (; j < ts.size() && ts[j] != t; j++);
+    for (; j < ts.size() && ts[j] != t; j++) ;
     assert(j < ts.size());
     for (; j < ts.size()-1; j++) ts[j] = ts[j+1];
     ts.pop();
@@ -52,7 +52,7 @@ template<class V, class T>
 static inline bool find(V& ts, const T& t)
 {
     int j = 0;
-    for (; j < ts.size() && ts[j] != t; j++);
+    for (; j < ts.size() && ts[j] != t; j++) ;
     return j < ts.size();
 }
 

diff --git a/src/sat/mtl/Map.h b/src/sat/mtl/Map.h
index d737268fd992481be7e2530ace6a6fd4f10636d2..354ce2269ed7d67ffc2550f80b96142a12839e18 100644 (file)
--- a/src/sat/mtl/Map.h
+++ b/src/sat/mtl/Map.h
@@ -83,7 +83,7 @@ class Map {
         cap = newsize;
     }
 
-    
+
     public:
 
      Map () : table(NULL), cap(0), size(0) {}
@@ -98,7 +98,7 @@ class Map {
         for (int i = 0; i < ps.size(); i++)
             if (equals(ps[i].key, k)){
                 d = ps[i].data;
-                return true; } 
+                return true; }
         return false;
     }
 
@@ -106,7 +106,7 @@ class Map {
         assert(table != NULL);
         vec<Pair>& ps = table[index(k)];
         int j = 0;
-        for (; j < ps.size() && !equals(ps[j].key, k); j++);
+        for (; j < ps.size() && !equals(ps[j].key, k); j++) ;
         assert(j < ps.size());
         ps[j] = ps.last();
         ps.pop();