Skip to content
Snippets Groups Projects
Commit 2b9be50b authored by David Bühler's avatar David Bühler
Browse files

[kernel] File: fixes an abort message.

parent e6bc8387
No related branches found
No related tags found
No related merge requests found
......@@ -1671,7 +1671,7 @@ let compute_sources_table cpp_commands =
if exit_code <> 0 then begin
let cause_frama_c_compliant =
if not (Kernel.CppGnuLike.get ()) then
Kernel.abort "\nPlease ensure preprocessor is Frama-C-compliant \
Format.asprintf "\nPlease ensure preprocessor is Frama-C-compliant \
(see option %s)"
Kernel.CppGnuLike.option_name
else ""
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment