From: trevor_hansen <trevor_hansen@e59a4935-1847-0410-ae03-e826735625c1>
Date: Thu, 7 Jul 2011 06:34:54 +0000 (+0000)
Subject: Silence a clang warning message.
X-Git-Url: https://git.unchartedbackwaters.co.uk/w/?a=commitdiff_plain;h=a81c15a51ba284ab3c72179d6a7d2da241e80652;p=francis%2Fstp.git

Silence a clang warning message.

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

diff --git a/src/AST/ASTSymbol.cpp b/src/AST/ASTSymbol.cpp
index bc29bd8..59a1d7a 100644
--- a/src/AST/ASTSymbol.cpp
+++ b/src/AST/ASTSymbol.cpp
@@ -45,7 +45,7 @@ namespace BEEV
     unsigned long long hash = 5381;
     long long c;
 
-    while (c = *str++)
+    while ((c = *str++))
       hash = ((hash << 5) + hash) + c; /* hash * 33 + c */
 
     //cout << "Hash value computed is: " << hash << endl;