diff --git a/src/util/hash.cpp b/src/util/hash.cpp
index 42ba3f4da..a54f993af 100644
--- a/src/util/hash.cpp
+++ b/src/util/hash.cpp
@@ -83,8 +83,8 @@ unsigned string_hash(const char * str, unsigned length, unsigned init_value) {
         Z3_fallthrough;
     case 1 : 
         a+=str[0];
-        Z3_fallthrough;
         /* case 0: nothing left to add */
+        break;
     }
     mix(a,b,c);
     /*-------------------------------------------- report the result */