diff --git a/Makefile b/Makefile
index b24fbe9..8a19d80 100644
--- a/Makefile
+++ b/Makefile
@@ -76,7 +76,7 @@ func-tests: $(FUNC_SUCCESS)
 KEY_SIZE = 128 192 256
 DIR_FORMAL_VERIF=$(WORKDIR)/formal-verif
 FORMAL_VERIF_DONE=$(WORKDIR)/.formal_verif
-$(FORMAL_VERIF_DONE): $(VE_INSTALLED) $(HDL_DONE)
+$(FORMAL_VERIF_DONE): $(DIR_HDL)
 	# Verify encryption
 	$(foreach ksize,$(KEY_SIZE),$(PYTHON_VE); make -C ./formal_verif NSHARES=$(NSHARES) KEY_SIZE=$(ksize) INVERSE=0 MATCHI_CELLS=$(MATCHI_CELLS) MATCHI_BIN=$(MATCHI_BIN) WORKDIR=$(DIR_FORMAL_VERIF) HDL_DIR=$(DIR_HDL) matchi-run || exit 1;)
 	# Verify decryption