diff --git a/hashes.sh b/hashes.sh
index d29de04b..a0576a18 100644
--- 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]=aa3bac8a9c0776115f1d00d59695707f47977c28
+hashes[hacl-star]=fea67ad771637813c9b9a0799086a98dca6f7c68
 branches[hacl-star]=icfp2017aec
 hashes[kremlin]=a47b5a31b959a57c166a5de5db718c2d11980b1b
 branches[kremlin]=master