Skip to content

Commit

Permalink
String is not a format string
Browse files Browse the repository at this point in the history
  • Loading branch information
nicovank committed May 22, 2024
1 parent 5eb5fcd commit b753216
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/cwhy/__main__.py
Original file line number Diff line number Diff line change
Expand Up @@ -81,7 +81,7 @@ def _get_help_string(self, action):

def main() -> None:
description = textwrap.dedent(
rf"""
r"""
[b]CWhy[/b]: Explains and proposes fixes for compile-time errors for many programming languages.
[blue][link=https://github.com/plasma-umass/cwhy]https://github.com/plasma-umass/cwhy[/link][/blue]
Expand Down

0 comments on commit b753216

Please sign in to comment.