Merge pull request #389 from hacspec/drop-commited-debug

fix(examples): fix a debug I unintentionally commited...
cryspen · Dec 11, 2023 · 3765856 · 3765856
2 parents 089e57c + 367f5a8
commit 3765856
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/examples/sha256/proofs/fstar/extraction/Makefile b/examples/sha256/proofs/fstar/extraction/Makefile
@@ -30,7 +30,7 @@
 # (setq fstar-subp-prover-args #'my-fstar-compute-prover-args-using-make)
 #
 
-HAX_HOME       ?= $(shell githuhu rev-parse --show-toplevel)
+HAX_HOME       ?= $(shell git rev-parse --show-toplevel)
 FSTAR_HOME     ?= $(HAX_HOME)/../../../FStar
 HACL_HOME      ?= $(HAX_HOME)/../../../hacl-star