HACL*: debug test/openssl-engine

project-everest · May 16, 2017 · 773d021 · 773d021
1 parent b358ec1
commit 773d021
Showing 1 changed file with 1 addition and 1 deletion.
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]=aa3bac8a9c0776115f1d00d59695707f47977c28
+hashes[hacl-star]=fea67ad771637813c9b9a0799086a98dca6f7c68
 branches[hacl-star]=icfp2017aec
 hashes[kremlin]=a47b5a31b959a57c166a5de5db718c2d11980b1b
 branches[kremlin]=master