diff options
Diffstat (limited to 'utils/opt-viewer/optrecord.py')
| -rw-r--r-- | utils/opt-viewer/optrecord.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/utils/opt-viewer/optrecord.py b/utils/opt-viewer/optrecord.py index 3dc77e9db019..2f930a48a056 100644 --- a/utils/opt-viewer/optrecord.py +++ b/utils/opt-viewer/optrecord.py @@ -33,7 +33,7 @@ def html_file_name(filename): return filename.replace('/', '_') + ".html" def make_link(File, Line): - return "{}#L{}".format(html_file_name(File), Line) + return "\"{}#L{}\"".format(html_file_name(File), Line) class Remark(yaml.YAMLObject): |