From 23f0f5fe6b510d2ab91a2917eb895faa479d9fcf Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Sun, 19 Nov 2017 07:42:16 +0100
Subject: [api] Miscellaneous consolidation + moves to engine.

We deprecate a few functions that were deprecated in the comments plus
we place `Nameops` and `Univops` in engine where they do seem to
belong in the large picture of code organization.
---
 API/API.mli | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'API')

diff --git a/API/API.mli b/API/API.mli
index 86c6f14158..991dca7482 100644
--- a/API/API.mli
+++ b/API/API.mli
@@ -87,6 +87,7 @@ sig
     val repr : t -> Id.t list
     val equal : t -> t -> bool
     val to_string : t -> string
+    val print : t -> Pp.t
   end
 
   module MBId : sig
@@ -1934,8 +1935,10 @@ sig
   val split_dirpath : Names.DirPath.t -> Names.DirPath.t * Names.Id.t
   val dirpath_of_string : string -> Names.DirPath.t
   val pr_dirpath : Names.DirPath.t -> Pp.t
+  [@@ocaml.deprecated "Alias for DirPath.print"]
 
   val string_of_path : full_path -> string
+
   val basename : full_path -> Names.Id.t
 
   type object_name = full_path * Names.KerName.t
-- 
cgit v1.2.3