Skip to content

Commit

Permalink
Fix SyntaxWarning: invalid escape sequence '\['
Browse files Browse the repository at this point in the history
  • Loading branch information
nicovank committed Apr 8, 2024
1 parent 279b342 commit 1212647
Showing 1 changed file with 3 additions and 3 deletions.
6 changes: 3 additions & 3 deletions src/cwhy/__main__.py
Original file line number Diff line number Diff line change
Expand Up @@ -118,9 +118,9 @@ def main() -> None:
help=textwrap.dedent(
"""
explain: explain the diagnostic (default)
diff: \[experimental] generate a diff to fix the diagnostic
converse: \[experimental] interactively converse with CWhy
diff-converse: \[experimental] interactively fix errors with CWhy
diff: \\[experimental] generate a diff to fix the diagnostic
converse: \\[experimental] interactively converse with CWhy
diff-converse: \\[experimental] interactively fix errors with CWhy
"""
).strip(),
)
Expand Down

0 comments on commit 1212647

Please sign in to comment.