1 files changed, 0 insertions, 2 deletions

diff --git a/dev/db b/dev/db
index f259b50e..36a171af 100644
--- a/dev/db
+++ b/dev/db
@@ -1,5 +1,3 @@
-load_printer "gramlib.cma"
-load_printer "str.cma"
 load_printer "printers.cma"
 
 install_printer Top_printers.ppfuture