Skip to content
Snippets Groups Projects
Commit da553613 authored by Valentin Perrelle's avatar Valentin Perrelle Committed by David Bühler
Browse files

[Dive] Fix error message for command line varinfo inputs

parent d97687f7
No related branches found
No related tags found
No related merge requests found
......@@ -77,7 +77,7 @@ struct
try
Globals.Vars.find_from_astinfo name VGlobal
with Not_found ->
raise (Cannot_build ("no global variable '" ^ name ^ "'"))
raise (Cannot_build ("no global variable '" ^ s ^ "'"))
let to_string vi =
match Kernel_function.find_defining_kf vi with
......
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