Skip to content
Snippets Groups Projects
Commit 281412bf authored by Andre Maroneze's avatar Andre Maroneze
Browse files

[kernel] fix typo in message

parent aeaa808c
No related branches found
No related tags found
No related merge requests found
...@@ -574,7 +574,7 @@ let parse_cabs cpp_command = function ...@@ -574,7 +574,7 @@ let parse_cabs cpp_command = function
abort_with_detailed_pp_message f cpp_command abort_with_detailed_pp_message f cpp_command
end else end else
Kernel.debug ~dkey:Kernel.dkey_pp Kernel.debug ~dkey:Kernel.dkey_pp
"Full preprocessing commmand: %s" cpp_command; "Full preprocessing command: %s" cpp_command;
let ppf = let ppf =
if Kernel.ReadAnnot.get() && if Kernel.ReadAnnot.get() &&
((Kernel.PreprocessAnnot.is_set () && ((Kernel.PreprocessAnnot.is_set () &&
......
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