From 8d3f0b614d7b2fb30f6e87b48a4fc5c0d286e49c Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Wed, 4 May 2016 14:30:48 +0200
Subject: Normalizing the names of dynamic types to follow a typ_* scheme.

---
 tactics/taccoerce.ml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'tactics')

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
 
-- 
cgit v1.2.3