From: trevor_hansen <trevor_hansen@e59a4935-1847-0410-ae03-e826735625c1>
Date: Thu, 7 Jul 2011 06:45:58 +0000 (+0000)
Subject: Fix clang warnings.
X-Git-Url: https://git.unchartedbackwaters.co.uk/w/?a=commitdiff_plain;h=4e198d65cc9004f33b8293b3f4666ba602aaf3a4;p=francis%2Fstp.git

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 590ebc3..7b740b5 100644
--- 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)