HACL*: fix build system for perf-gcc

tahina-pro · tahina-pro · commit d717010d4b86 · 2017-05-15T15:59:00.000-07:00
diff --git a/hashes.sh b/hashes.sh
@@ -6,7 +6,7 @@ hashes[vale]=9995086dd32059798873342112bde343ac61300f
 branches[vale]=master
 hashes[FStar]=187bcc284ad075a2dcff0ac76f5479f75e1914f2
 branches[FStar]=master
-hashes[hacl-star]=209abf53bbb0db9a5dd4ab9568a432ac0d06981c
+hashes[hacl-star]=9672d8f7cd92b66e6cac73e20742c72d0d59d451
 branches[hacl-star]=icfp2017aec
 hashes[kremlin]=a47b5a31b959a57c166a5de5db718c2d11980b1b
 branches[kremlin]=master
