var/spack/repos/builtin/packages/z3/fix_1016_2.patch


1
2
3
4
5
6
7
8
9
10
11
12

--- spack-src/src/util/hash.cpp.org	2019-11-13 13:25:33.317336437 +0900
+++ spack-src/src/util/hash.cpp	2019-11-13 13:26:12.671491961 +0900
@@ -83,8 +83,8 @@
         Z3_fallthrough;
     case 1 : 
         a+=str[0];
-        Z3_fallthrough;
         /* case 0: nothing left to add */
+        break;
     }
     mix(a,b,c);
     /*-------------------------------------------- report the result */