diff --git a/provers/cairo/Makefile b/provers/cairo/Makefile
index 37bcb44846..2fa939bb79 100644
--- a/provers/cairo/Makefile
+++ b/provers/cairo/Makefile
@@ -2,7 +2,7 @@
 
 ROOT_DIR:=$(shell dirname $(realpath $(firstword $(MAKEFILE_LIST))))
 
-CAIRO0_PROGRAMS_DIR=cairo_programs/cairo0
+CAIRO0_PROGRAMS_DIR=cairo_prover/cairo_programs/cairo0
 CAIRO0_PROGRAMS:=$(wildcard $(CAIRO0_PROGRAMS_DIR)/*.cairo)
 COMPILED_CAIRO0_PROGRAMS:=$(patsubst $(CAIRO0_PROGRAMS_DIR)/%.cairo, $(CAIRO0_PROGRAMS_DIR)/%.json, $(CAIRO0_PROGRAMS))