diff --git a/src/include/catalog/pg_proc.dat b/src/include/catalog/pg_proc.dat
index 1c1d96e0c7e..cd9422d0bac 100644
--- a/src/include/catalog/pg_proc.dat
+++ b/src/include/catalog/pg_proc.dat
@@ -1,4 +1,4 @@
-\#----------------------------------------------------------------------
+#----------------------------------------------------------------------
 #
 # pg_proc.dat
 #    Initial contents of the pg_proc system catalog.