diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/manual/verifier.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/manual/verifier.py b/doc/manual/verifier.py index f39a00e2e..2ebb5582f 100644 --- a/doc/manual/verifier.py +++ b/doc/manual/verifier.py @@ -41,7 +41,7 @@ def find_type(name): if line_with_previous.find(s) != -1: return type previous = line - assert False + assert False, f"Could not find {name}" print('<itemizedlist>') |