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 bc29bd88c6a822e9fd58aaf3626833cce41a4bdf..59a1d7aca44018d494cba581f3bfa5f26bd41bc8 100644 (file)
--- 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;