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.ml | 2 --
 1 file changed, 2 deletions(-)

(limited to 'kernel/context.ml')

diff --git a/kernel/context.ml b/kernel/context.ml
index 4c88283ca..94fcfb486 100644
--- a/kernel/context.ml
+++ b/kernel/context.ml
@@ -428,5 +428,3 @@ module NamedList =
 
     let fold f l ~init = List.fold_right f l init
   end
-
-type section_context = Named.t
-- 
cgit v1.2.3