From 3e6bc0e8d09e3eb913b366b4f5db280154b94018 Mon Sep 17 00:00:00 2001
From: Matej Kosik <matej.kosik@inria.fr>
Date: Sun, 14 Aug 2016 19:10:35 +0200
Subject: CLEANUP: Type alias "Context.section_context" was removed

---
 kernel/context.mli | 2 --
 1 file changed, 2 deletions(-)

(limited to 'kernel/context.mli')

diff --git a/kernel/context.mli b/kernel/context.mli
index 8ed09794b..c5da51381 100644
--- a/kernel/context.mli
+++ b/kernel/context.mli
@@ -263,5 +263,3 @@ sig
 
   val fold : (Declaration.t -> 'a -> 'a) -> t -> init:'a -> 'a
 end
-
-type section_context = Named.t
-- 
cgit v1.2.3