Commit ceed3aba authored by Virgile Prevosto's avatar Virgile Prevosto
Browse files

[wp] fixes typo in error message

parent 1d741169
......@@ -741,7 +741,7 @@ class visitor (ctx:context) c =
| [ th ] -> self#add_import th
| [ th ; was ] -> self#add_import ~was th
| _ -> why3_failure
"[driver] incorrect why3.file %S for library '%s'"
"[driver] incorrect why3.import %S for library '%s'"
opt thy
) (Str.split regexp_com opt)
in
......
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