From ab9d2406975aba499d52f559e3303b82ce72d8ca Mon Sep 17 00:00:00 2001
From: Matej Kosik
Date: Fri, 26 Aug 2016 13:23:37 +0200
Subject: CLEANUP: adding "Context.Compacted.Declaration.of_named_decl"
 function, which can be useful in general, and then simplifying
 "Printer.pr_named_decl" function

---
 kernel/context.mli | 1 +
 1 file changed, 1 insertion(+)

(limited to 'kernel/context.mli')

diff --git a/kernel/context.mli b/kernel/context.mli
index 091d701a28..955e214cb9 100644
--- a/kernel/context.mli
+++ b/kernel/context.mli
@@ -260,6 +260,7 @@ sig
       | LocalDef of Id.t list * Constr.t * Constr.t
 
     val map_constr : (Constr.t -> Constr.t) -> t -> t
+    val of_named_decl : Named.Declaration.t -> t
     val to_named_context : t -> Named.t
   end
 
-- 
cgit v1.2.3