From 4a0000d96b695d084ffa930564a267d15abd91af Mon Sep 17 00:00:00 2001 From: Brian Demsky Date: Mon, 6 May 2013 16:32:41 -0700 Subject: [PATCH] typos --- README | 2 +- main.cc | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/README b/README index 7ea3a32..dcabe6f 100644 --- a/README +++ b/README @@ -37,7 +37,7 @@ Written by Brian Norris and Brian Demsky Usage: ./test/userprog.o [MODEL-CHECKER OPTIONS] -- [PROGRAM ARGS] -MODLE-CHECKER OPTIONS can be any of the model-checker options listed below. Arguments +MODEL-CHECKER OPTIONS can be any of the model-checker options listed below. Arguments provided after the `--' (the PROGRAM ARGS) are passed to the user program. Model-checker options: diff --git a/main.cc b/main.cc index 5a33baf..1245b60 100644 --- a/main.cc +++ b/main.cc @@ -46,7 +46,7 @@ static void print_usage(const char *program_name, struct model_params *params) "\n" "Usage: %s [MODEL-CHECKER OPTIONS] -- [PROGRAM ARGS]\n" "\n" -"MODLE-CHECKER OPTIONS can be any of the model-checker options listed below. Arguments\n" +"MODEL-CHECKER OPTIONS can be any of the model-checker options listed below. Arguments\n" "provided after the `--' (the PROGRAM ARGS) are passed to the user program.\n" "\n" "Model-checker options:\n" -- 2.34.1