From f45bbcf79018da0f52098ae284af73a5d38249c3 Mon Sep 17 00:00:00 2001
From: Matej Kosik
Date: Fri, 26 Aug 2016 12:37:59 +0200
Subject: CLEANUP: renaming "Context.ListNamed" module to "Context.Compacted"

---
 kernel/context.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'kernel/context.ml')

diff --git a/kernel/context.ml b/kernel/context.ml
index fed6a5feb6..47e0a08e57 100644
--- a/kernel/context.ml
+++ b/kernel/context.ml
@@ -412,7 +412,7 @@ struct
     List.map_filter filter
 end
 
-module NamedList =
+module Compacted =
   struct
     module Declaration =
       struct
-- 
cgit v1.2.3