Normalizing the names of dynamic types to follow a typ_* scheme.

1 files changed, 3 insertions, 3 deletions

diff --git a/tactics/taccoerce.ml b/tactics/taccoerce.ml
index a6e7af16e9..d53c1cc04a 100644
--- a/tactics/taccoerce.ml
+++ b/tactics/taccoerce.ml
@@ -84,11 +84,11 @@ let to_int v =
     Some (out_gen (topwit wit_int) v)
   else None
 
-let to_list v = prj Val.list_tag v
+let to_list v = prj Val.typ_list v
 
-let to_option v = prj Val.opt_tag v
+let to_option v = prj Val.typ_opt v
 
-let to_pair v = prj Val.pair_tag v
+let to_pair v = prj Val.typ_pair v
 
 end