Update INCLUDES-lines in formal-languages/regular's Holmakefile

binghe · Jan 3, 2025 · e0c9e4e · e0c9e4e
1 parent bb77ef0
commit e0c9e4e
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/examples/formal-languages/regular/Holmakefile b/examples/formal-languages/regular/Holmakefile
@@ -1,6 +1,7 @@
 INCLUDES = $(HOLDIR)/examples/balanced_bst \
            $(HOLDIR)/examples/formal-languages \
-           $(HOLDIR)/examples/formal-languages/context-free
+           $(HOLDIR)/examples/formal-languages/context-free \
+           $(HOLDIR)/src/search
 
 all: $(DEFAULT_TARGETS) regexp2dfa