mirror of
https://github.com/Z3Prover/z3
synced 2025-04-06 17:44:08 +00:00
parent
74ac58de2b
commit
f03f471f02
|
@ -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 */
|
||||
|
|
Loading…
Reference in a new issue