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