diff --git a/src/pointer-analysis/Makefile b/src/pointer-analysis/Makefile
index 61e59313ea3..657dabe719e 100644
--- a/src/pointer-analysis/Makefile
+++ b/src/pointer-analysis/Makefile
@@ -1,6 +1,5 @@
 SRC = add_failed_symbols.cpp \
       goto_program_dereference.cpp \
-      rewrite_index.cpp \
       show_value_sets.cpp \
       value_set.cpp \
       value_set_analysis.cpp \
diff --git a/src/pointer-analysis/rewrite_index.h b/src/pointer-analysis/rewrite_index.h
index 26cf5b19513..2897fd388a6 100644
--- a/src/pointer-analysis/rewrite_index.h
+++ b/src/pointer-analysis/rewrite_index.h
@@ -12,11 +12,13 @@ Author: Daniel Kroening, kroening@kroening.com
 #ifndef CPROVER_POINTER_ANALYSIS_REWRITE_INDEX_H
 #define CPROVER_POINTER_ANALYSIS_REWRITE_INDEX_H
 
+#include <util/deprecate.h>
+
 class dereference_exprt;
 class index_exprt;
 
 // rewrite a[i] to *(a+i)
-
+DEPRECATED(SINCE(2022, 07, 23, "implement the transform directly"))
 dereference_exprt rewrite_index(const index_exprt &index_expr);
 
 #endif // CPROVER_POINTER_ANALYSIS_REWRITE_INDEX_H