diff --git a/C/cdmgr.c b/C/cdmgr.c
index c193f1361..b93ed0e35 100644
--- a/C/cdmgr.c
+++ b/C/cdmgr.c
@@ -1170,7 +1170,6 @@ end_consult(void)
   }
 #endif
   ConsultSp = ConsultBase;
-  printf("ConsultBase is %p\n",ConsultBase);
   ConsultBase = ConsultSp+ConsultSp->c;
   ConsultSp += 3;
   consult_level--;