Working on automatic rmdom for bad domains during regen

[hcoop/zz_old/domtool2-proto.git] / src / main-setsa.sml

diff --git a/src/main-setsa.sml b/src/main-setsa.sml
index 76a947d..3aea0d9 100644 (file)
--- a/src/main-setsa.sml
+++ b/src/main-setsa.sml
@@ -35,5 +35,5 @@ val _ =
            [] => Main.requestSaQuery addr
          | ["on"] => Main.requestSaSet (addr, true)
          | ["off"] => Main.requestSaSet (addr, false)
-         | _ => print "Invalid command-line argiments\n"
+         | _ => print "Invalid command-line arguments\n"
     end