]> git.unchartedbackwaters.co.uk Git - francis/stp.git/commitdiff
Fix clang warnings.
authortrevor_hansen <trevor_hansen@e59a4935-1847-0410-ae03-e826735625c1>
Thu, 7 Jul 2011 06:45:58 +0000 (06:45 +0000)
committertrevor_hansen <trevor_hansen@e59a4935-1847-0410-ae03-e826735625c1>
Thu, 7 Jul 2011 06:45:58 +0000 (06:45 +0000)
git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@1361 e59a4935-1847-0410-ae03-e826735625c1

src/simplifier/EstablishIntervals.h

index 590ebc35ed99ebff6ab12b60ab9c95726d4f9de6..7b740b51f6b8b9f529c07e018370f4f6b3bed0fa 100644 (file)
@@ -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)