projects
/
pspp
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Consolidate quoting style in printed strings.
[pspp]
/
src
/
libpspp
/
model-checker.c
diff --git
a/src/libpspp/model-checker.c
b/src/libpspp/model-checker.c
index 80198f82bc76262b60b2841be92a25e8ce1cc648..940f89aa73495cf80fc4b8e3663cdac15c87273f 100644
(file)
--- a/
src/libpspp/model-checker.c
+++ b/
src/libpspp/model-checker.c
@@
-707,7
+707,7
@@
mc_parser_option_callback (int id, void *mc_options_)
mc_options_set_strategy (options, MC_RANDOM);
else
error (1, 0,
mc_options_set_strategy (options, MC_RANDOM);
else
error (1, 0,
- "strategy must be
\"broad\", \"deep\", or \"random\"
");
+ "strategy must be
`broad', `deep', or `random'
");
break;
case OPT_MAX_DEPTH:
break;
case OPT_MAX_DEPTH:
@@
-756,8
+756,8
@@
mc_parser_option_callback (int id, void *mc_options_)
else if (!strcmp (optarg, "random"))
mc_options_set_queue_limit_strategy (options, MC_DROP_RANDOM);
else
else if (!strcmp (optarg, "random"))
mc_options_set_queue_limit_strategy (options, MC_DROP_RANDOM);
else
- error (1, 0, "--queue-drop argument must be
\"newest\",
"
- "
\"oldest\", or \"random\"
");
+ error (1, 0, "--queue-drop argument must be
`newest'
"
+ "
`oldest' or `random'
");
break;
case OPT_SEED:
break;
case OPT_SEED: