Commit 5bb51b47 authored by Loïc Correnson's avatar Loïc Correnson Committed by Allan Blanchard
Browse files

[aorai] update wp API

parent c91243f0
......@@ -58,7 +58,7 @@ let extend () =
Wp.VC.command vcs;
(fun vc ->
if not (Wp.VC.is_proved vc) then
if not (Wp.VC.is_passed vc) then
P.warning "Could not prove %a in automaton function %a"
Property.pretty (Wp.VC.get_property vc)
Kernel_function.pretty kf)
Supports Markdown
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