Fix DES example Holmakefile to reference src/probability

HOL-Theorem-Prover · Nov 26, 2024 · 2f93260 · 2f93260
1 parent c9c025c
commit 2f93260
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/examples/Crypto/DES/Holmakefile b/examples/Crypto/DES/Holmakefile
@@ -1 +1,2 @@
-INCLUDES = $(HOLDIR)/src/n-bit $(HOLDIR)/src/res_quan/src
+INCLUDES = $(HOLDIR)/src/n-bit $(HOLDIR)/src/res_quan/src \
+           $(HOLDIR)/src/probability