1 files changed, 2 insertions, 2 deletions
diff --git a/include/klee/util/Ref.h b/include/klee/util/Ref.h
index f900f137..a552df39 100644
--- a/include/klee/util/Ref.h
+++ b/include/klee/util/Ref.h
@@ -129,7 +129,7 @@ public:
 
   unsigned hash() const {
     if (constantWidth) {
-      return Expr::hashConstant(contents.val, constantWidth);
+      return contents.val ^ (constantWidth * Expr::MAGIC_HASH_CONSTANT);
     } else {
       return contents.ptr->hash();
     }
@@ -137,7 +137,7 @@ public:
 
   unsigned computeHash() const {
     if (isConstant()) {
-      return Expr::hashConstant(contents.val, constantWidth);
+      return contents.val ^ (constantWidth * Expr::MAGIC_HASH_CONSTANT);
     } else {
       return contents.ptr->computeHash();
     }