From f03f471f025adaed6f82d73b7e19fc8693bbec4f Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Wed, 10 May 2017 15:13:04 -0700
Subject: [PATCH] fix for #1016

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/util/hash.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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 */