From 9ca278dc517c936a6535b45f66e128c9c3657388 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Sun, 4 Oct 2020 12:50:04 -0400
Subject: [PATCH] fix obsolete comment

---
 src/core/CCString.mli | 2 --
 1 file changed, 2 deletions(-)

diff --git a/src/core/CCString.mli b/src/core/CCString.mli
index 4e6f7901..773eba89 100644
--- a/src/core/CCString.mli
+++ b/src/core/CCString.mli
@@ -1,5 +1,3 @@
-(*  AUTOGENERATED FROM CCStringLabels.mli  *)
-
 
 (* This file is free software, part of containers. See file "license" for more details. *)