Fix bad include

CakeML · Jul 6, 2020 · d2e159a · d2e159a
1 parent 40b9718
commit d2e159a
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/examples/opentheory/compilation/ag32/proofs/Holmakefile b/examples/opentheory/compilation/ag32/proofs/Holmakefile
@@ -3,7 +3,8 @@ INCLUDES = $(CAKEMLDIR)/misc $(CAKEMLDIR)/semantics/proofs\
 					 $(CAKEMLDIR)/compiler/backend/ag32\
 					 $(CAKEMLDIR)/compiler/backend/ag32/proofs\
 					 $(CAKEMLDIR)/compiler/backend/proofs\
-					 ..  ../../..  ../../../../semantics
+					 $(CAKEMLDIR)/semantics\
+					 ..  ../../..
 
 all: $(DEFAULT_TARGETS) README.md
 .PHONY: all