X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/19026493d006261065f2797932b91c92ed8ee268..b200e996e0cc94e4bcf91ead96a27dba538fd39b:/src/domain.sml

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