diff --git a/examples/logic/propositional_logic/Holmakefile b/examples/logic/propositional_logic/Holmakefile
index f1de1b25a9..b7b42737e8 100644
--- a/examples/logic/propositional_logic/Holmakefile
+++ b/examples/logic/propositional_logic/Holmakefile
@@ -1,2 +1,2 @@
-INCDIRS = bag string
+INCDIRS = bag string finite_maps
 INCLUDES = $(patsubst %,$(dprot $(HOLDIR)/src/%),$(INCDIRS))