Fix clang warnings.

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

diff --git a/src/simplifier/EstablishIntervals.h b/src/simplifier/EstablishIntervals.h
index 590ebc35ed99ebff6ab12b60ab9c95726d4f9de6..7b740b51f6b8b9f529c07e018370f4f6b3bed0fa 100644 (file)
--- a/src/simplifier/EstablishIntervals.h
+++ b/src/simplifier/EstablishIntervals.h
@@ -48,7 +48,7 @@ namespace BEEV
         return (CONSTANTBV::BitVector_is_empty(minV) && CONSTANTBV::BitVector_is_full(maxV));
       }
 
-      bool checkUnsignedInvariant()
+      void checkUnsignedInvariant()
       {
         assert( CONSTANTBV::BitVector_Lexicompare(minV, maxV) <=0);
 
@@ -239,6 +239,8 @@ namespace BEEV
                           fromTo.insert(make_pair(n,copyN));
                       }
                     break;
+                  default:
+                    FatalError("Never here");
                 }
           }
           if (interval == NULL)