From b200e996e0cc94e4bcf91ead96a27dba538fd39b Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sat, 17 Nov 2007 19:27:23 +0000 Subject: [PATCH 1/1] Remove debug print --- src/domain.sml | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/src/domain.sml b/src/domain.sml index 064aa3e..8df5413 100644 --- a/src/domain.sml +++ b/src/domain.sml @@ -744,11 +744,10 @@ fun rmdom' delete resultRoot doms = fnameFull, actions)) else - (print ("Kill " ^ fnameFull ^ "\n"); loop ({action = Slave.Delete delete, domain = dom, dir = dname, - file = fnameFull} :: actions)) + file = fnameFull} :: actions) end in loop actions -- 2.20.1