Revert "Test HACL* as of miTLS 83d74f3"

This reverts commit 658b308.
project-everest · Jun 5, 2018 · 16fd7cf · 16fd7cf
1 parent 658b308
commit 16fd7cf
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.hacl_version b/.hacl_version
@@ -1 +1 @@
-d669ec05
+origin/fstar-master