diff --git a/src/core/CCParse.ml b/src/core/CCParse.ml index aafe1a8a..3e690f57 100644 --- a/src/core/CCParse.ml +++ b/src/core/CCParse.ml @@ -1,6 +1,3 @@ -(* This file is free software. See file "license" for more details. *) - -(** {1 Very Simple Parser Combinators} *) open CCShims_ diff --git a/src/core/CCParse.mli b/src/core/CCParse.mli index 0c8b44bd..a2fa58c1 100644 --- a/src/core/CCParse.mli +++ b/src/core/CCParse.mli @@ -1,4 +1,3 @@ -(* This file is free software. See file "license" for more details. *) (** Very Simple Parser Combinators