X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/e69e60ccf1aa77a40cd5b15c4361f378ce332a42..f208fe7eb343486d3a464e0813d1cdce19b1ac5f:/src/domain.sml

diff --git a/src/domain.sml b/src/domain.sml
index 04ee532..3d8290b 100644
--- a/src/domain.sml
+++ b/src/domain.sml
@@ -693,7 +693,7 @@ fun rmdom doms =
 				before Posix.FileSys.closedir dir
 			    end
 				handle OS.SysErr _ =>
-				       (print ("Warning: System error deleteing domain " ^ dom ^ " on " ^ node ^ ".\n");
+				       (print ("Warning: System error deleting domain " ^ dom ^ " on " ^ node ^ ".\n");
 					actions)
 		    in
 			visitDom (dom, dname, actions)