From 41a218cb695c4ad2e0451e767fc5ba87cd21b3f8 Mon Sep 17 00:00:00 2001 From: ryansuchocki Date: Mon, 23 Feb 2015 00:32:37 +0000 Subject: [PATCH] Removing redundant command line options./master'. --- src/main.c | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/src/main.c b/src/main.c index d9a71f6..253fb84 100644 --- a/src/main.c +++ b/src/main.c @@ -88,10 +88,11 @@ int main(int argc, char *argv[]) { abort (); } - fprintf(stdout, "Microscheme 0.8, (C) Ryan Suchocki\n"); + fprintf(stdout, "Microscheme 0.9.1, (C) Ryan Suchocki\n"); if (argc < 2) { - fprintf(stdout, "usage: microscheme [-iaucpsov] [-m model] [-d device] [-t treeshaker-rounds] program[.ms]\n"); + fprintf(stdout, "Usage: microscheme [-aucvrio] [-m model] [-d device] [-w filename] [-t rounds] program[.ms]\n"); + return(EXIT_FAILURE); }