diff options
Diffstat (limited to 'org/ao_debugs.org')
| -rw-r--r-- | org/ao_debugs.org | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/org/ao_debugs.org b/org/ao_debugs.org index ee73d1d..be525c3 100644 --- a/org/ao_debugs.org +++ b/org/ao_debugs.org @@ -34,7 +34,7 @@ template SiSUdebugs() { <<initialize>> <<ao_output_debugs>> debug(checkdoc) { - if ((doc_matters.opt_action_bool["debug"])) { + if ((doc_matters.opt_action["debug"])) { <<ao_output_debugs_summary>> <<ao_output_debugs_checkdoc>> } @@ -745,7 +745,7 @@ debug(summary) { #+BEGIN_SRC d debug(checkdoc) { if (auto mfn=match(doc_matters.source_filename, rgx.src_fn)) { - if (doc_matters.opt_action_bool["assertions"]) { + if (doc_matters.opt_action["assertions"]) { switch (mfn.captures[2]) { // live manual: case "live-manual.ssm": |