diff options
Diffstat (limited to 'kernel/context.ml')
| -rw-r--r-- | kernel/context.ml | 2 |
1 files changed, 1 insertions, 1 deletions
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 |