From f3abbc55ef160d1a65d4467bfe9b25b30b965a46 Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Sat, 4 Nov 2017 18:58:27 +0100
Subject: [api] Deprecate all legacy uses of Names in core.

This will allow to merge back `Names` with `API.Names`
---
 kernel/csymtable.mli | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'kernel/csymtable.mli')

diff --git a/kernel/csymtable.mli b/kernel/csymtable.mli
index 633cf0abdd..30d0e55880 100644
--- a/kernel/csymtable.mli
+++ b/kernel/csymtable.mli
@@ -14,5 +14,5 @@ open Pre_env
 
 val val_of_constr : env -> constr -> values
 
-val set_opaque_const      : constant -> unit
-val set_transparent_const : constant -> unit
+val set_opaque_const      : Constant.t -> unit
+val set_transparent_const : Constant.t -> unit
-- 
cgit v1.2.3