Commit 67f96762 authored by Andrei Paskevich's avatar Andrei Paskevich

Vc: correctly handle variable transition in fast WP

parent 6939bb7d
......@@ -291,7 +291,7 @@ val t_freepvs : Spv.t -> term -> Spv.t
(** raises [Not_found] if the term contains a free variable
which is not a [pv_vs] *)
val pvs_of_vss : Spv.t -> Svs.t -> Spv.t
val pvs_of_vss : Spv.t -> 'a Mvs.t -> Spv.t
(** {2 Exception symbols} *)
......
This diff is collapsed.
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