From: trevor_hansen <trevor_hansen@e59a4935-1847-0410-ae03-e826735625c1>
Date: Fri, 4 Sep 2009 12:42:25 +0000 (+0000)
Subject: * Whitespace changes to reduce compiler warnings.
X-Git-Url: https://git.unchartedbackwaters.co.uk/w/?a=commitdiff_plain;h=cd14db40dc94090755440edccf98eeaf193ca66d;p=francis%2Fstp.git

* 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 c9b4f90..5e8e176 100644
--- 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 d737268..354ce22 100644
--- 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();