diff --git a/src/ansi-c/Makefile b/src/ansi-c/Makefile
index d57c0934a7d..4e741de9199 100644
--- a/src/ansi-c/Makefile
+++ b/src/ansi-c/Makefile
@@ -36,7 +36,6 @@ SRC = anonymous_member.cpp \
       literals/unescape_string.cpp \
       padding.cpp \
       preprocessor_line.cpp \
-      printf_formatter.cpp \
       type2name.cpp \
       # Empty last line
 
diff --git a/src/goto-programs/Makefile b/src/goto-programs/Makefile
index 19e5878ca41..a872810518d 100644
--- a/src/goto-programs/Makefile
+++ b/src/goto-programs/Makefile
@@ -34,6 +34,7 @@ SRC = adjust_float_expressions.cpp \
       osx_fat_reader.cpp \
       parameter_assignments.cpp \
       pointer_arithmetic.cpp \
+      printf_formatter.cpp \
       property_checker.cpp \
       read_bin_goto_object.cpp \
       read_goto_binary.cpp \
diff --git a/src/goto-programs/goto_trace.cpp b/src/goto-programs/goto_trace.cpp
index dde36acec56..ede8a1efba3 100644
--- a/src/goto-programs/goto_trace.cpp
+++ b/src/goto-programs/goto_trace.cpp
@@ -20,9 +20,10 @@ Author: Daniel Kroening
 #include <util/format_expr.h>
 #include <util/symbol.h>
 
-#include <ansi-c/printf_formatter.h>
 #include <langapi/language_util.h>
 
+#include "printf_formatter.h"
+
 void goto_tracet::output(
   const class namespacet &ns,
   std::ostream &out) const
diff --git a/src/ansi-c/printf_formatter.cpp b/src/goto-programs/printf_formatter.cpp
similarity index 100%
rename from src/ansi-c/printf_formatter.cpp
rename to src/goto-programs/printf_formatter.cpp
diff --git a/src/ansi-c/printf_formatter.h b/src/goto-programs/printf_formatter.h
similarity index 88%
rename from src/ansi-c/printf_formatter.h
rename to src/goto-programs/printf_formatter.h
index 1f934353a55..f8475ba0192 100644
--- a/src/ansi-c/printf_formatter.h
+++ b/src/goto-programs/printf_formatter.h
@@ -9,8 +9,8 @@ Author: Daniel Kroening, kroening@kroening.com
 /// \file
 /// printf Formatting
 
-#ifndef CPROVER_ANSI_C_PRINTF_FORMATTER_H
-#define CPROVER_ANSI_C_PRINTF_FORMATTER_H
+#ifndef CPROVER_GOTO_PROGRAMS_PRINTF_FORMATTER_H
+#define CPROVER_GOTO_PROGRAMS_PRINTF_FORMATTER_H
 
 #include <util/expr.h>
 #include <util/namespace.h>
@@ -56,4 +56,4 @@ class printf_formattert
   const exprt make_type(const exprt &src, const typet &dest);
 };
 
-#endif // CPROVER_ANSI_C_PRINTF_FORMATTER_H
+#endif // CPROVER_GOTO_PROGRAMS_PRINTF_FORMATTER_H
diff --git a/src/goto-programs/xml_goto_trace.cpp b/src/goto-programs/xml_goto_trace.cpp
index 5a816cb186d..68cf251294e 100644
--- a/src/goto-programs/xml_goto_trace.cpp
+++ b/src/goto-programs/xml_goto_trace.cpp
@@ -18,9 +18,10 @@ Author: Daniel Kroening
 #include <util/xml_expr.h>
 #include <util/symbol.h>
 
-#include <ansi-c/printf_formatter.h>
 #include <langapi/language_util.h>
 
+#include "printf_formatter.h"
+
 void convert(
   const namespacet &ns,
   const goto_tracet &goto_trace,