From: Adam Chlipala <adamc@hcoop.net>
Date: Sat, 17 Nov 2007 19:27:23 +0000 (+0000)
Subject: Remove debug print
X-Git-Tag: release_2010-11-19~134
X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/commitdiff_plain/b200e996e0cc94e4bcf91ead96a27dba538fd39b?ds=sidebyside

Remove debug print
---

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