1 files changed, 1 insertions, 1 deletions
diff --git a/dev/db b/dev/db
index 6be2c20b9..9eed32e04 100644
--- a/dev/db
+++ b/dev/db
@@ -35,4 +35,4 @@ install_printer Top_printers.ppobj
 install_printer Top_printers.pploc
 install_printer Top_printers.prsubst
 install_printer Top_printers.prdelta
-install_printer Top_printers.ppconstr
+install_printer Top_printers.ppfconstr