Fix dependencies

kth-step · Aug 5, 2024 · ccceaf5 · ccceaf5
1 parent ab92c55
commit ccceaf5
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/src/tools/symbexec/Holmakefile b/src/tools/symbexec/Holmakefile
@@ -5,7 +5,8 @@ INCLUDES = $(HOLBADIR)/src/aux \
            $(HOLBADIR)/src/theory/tools/comp \
            $(HOLBADIR)/src/theory/tools/symbexec \
            $(HOLBADIR)/src/shared \
-           $(HOLBADIR)/src/shared/HolSmt
+           $(HOLBADIR)/src/shared/HolSmt \
+           $(HOLBADIR)/src/theory/tools/lifter
 
 all: $(DEFAULT_TARGETS)
 .PHONY: all