Correct some broken dependency-information

(Including removal of unnecessary link to topologyTheory in fsgraph.)
HOL-Theorem-Prover · Nov 28, 2023 · 84d2679 · 84d2679
1 parent d319ec5
commit 84d2679
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 4 deletions.
diff --git a/examples/Crypto/DES/Holmakefile b/examples/Crypto/DES/Holmakefile
@@ -1 +1 @@
-INCLUDES = $(HOLDIR)/src/n-bit
+INCLUDES = $(HOLDIR)/src/n-bit $(HOLDIR)/src/res_quan/src
diff --git a/examples/generic_finite_graphs/Holmakefile b/examples/generic_finite_graphs/Holmakefile
@@ -1 +1 @@
-INCLUDES = $(HOLDIR)/src/finite_maps
+INCLUDES = $(HOLDIR)/src/finite_maps $(HOLDIR)/src/transfer
diff --git a/examples/generic_finite_graphs/fsgraphScript.sml b/examples/generic_finite_graphs/fsgraphScript.sml
@@ -1,7 +1,7 @@
 open HolKernel Parse boolLib bossLib;
 
-open arithmeticTheory pairTheory listTheory pred_setTheory sortingTheory hurdUtils
-     topologyTheory;
+open arithmeticTheory pairTheory listTheory pred_setTheory sortingTheory
+     hurdUtils
 
 open genericGraphTheory;