Commit c337fd8b authored by Andre Maroneze's avatar Andre Maroneze 💬
Browse files

[Kernel] remove dot after URL in crash message

parent 7255c3dd
......@@ -106,7 +106,7 @@ let get_backtrace () =
let request_crash_report =
Format.sprintf
"Please report as 'crash' at https://git.frama-c.com/pub/frama-c/issues.\n\
"Please report as 'crash' at https://git.frama-c.com/pub/frama-c/issues\n\
Your Frama-C version is %s.\n\
Note that a version and a backtrace alone often do not contain enough\n\
information to understand the bug. Guidelines for reporting bugs are at:\n\
......
......@@ -8,7 +8,7 @@
The full backtrace is:
Plug-in test aborted: internal error.
Please report as 'crash' at https://git.frama-c.com/pub/frama-c/issues.
Please report as 'crash' at https://git.frama-c.com/pub/frama-c/issues
Your Frama-C version is VERSION
Note that a version and a backtrace alone often do not contain enough
information to understand the bug. Guidelines for reporting bugs are at:
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment