Skip to content

Commit

Permalink
Fix dependency INCLUDES in examples/logic/propositional_logic
Browse files Browse the repository at this point in the history
  • Loading branch information
@mn200
mn200 committed Dec 24, 2024
1 parent b4a5b94 commit e8d5051
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion examples/logic/propositional_logic/Holmakefile
View file
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
INCDIRS = bag string
INCDIRS = bag string finite_maps
INCLUDES = $(patsubst %,$(dprot $(HOLDIR)/src/%),$(INCDIRS))

0 comments on commit e8d5051

Please sign in to comment.