From ac830fc6328ed5b7493c4f58fa448f2cef5e602a Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sat, 23 Dec 2006 22:44:32 +0000 Subject: [PATCH 1/1] Typo fix --- src/main-setsa.sml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/main-setsa.sml b/src/main-setsa.sml index 76a947d..3aea0d9 100644 --- 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 -- 2.20.1