Commit bcbcd870 authored by Andrei Paskevich's avatar Andrei Paskevich

pvs: silence OCaml warning

parent df8265b4
......@@ -722,6 +722,7 @@ let axiom_or_lemma = function
| _ -> "AXIOM"
let print_prop_decl ~prev info fmt (k,pr,f) =
ignore (prev);
let params = t_ty_freevars Stv.empty f in
let kind = match k with
| Paxiom when info.realization -> "LEMMA" (* axiom_or_lemma prev *)
......
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