1 files changed, 1 insertions, 0 deletions
diff --git a/dev/db b/dev/db
index 6c657d4e..784e5bac 100644
--- a/dev/db
+++ b/dev/db
@@ -28,6 +28,7 @@ install_printer Top_printers.ppgoal
 install_printer Top_printers.ppsigmagoal
 install_printer Top_printers.pproof
 install_printer Top_printers.ppevd
+install_printer Top_printers.ppevm
 install_printer Top_printers.ppclenv
 
 install_printer Top_printers.pptac