From 7ec9cd94dca446acd084cd9eb14530f2381e45d7 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Sun, 9 Apr 2023 14:59:32 -0400 Subject: [PATCH] details --- src/core/CCParse.ml | 3 --- src/core/CCParse.mli | 1 - 2 files changed, 4 deletions(-) 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