fix obsolete comment

This commit is contained in:
Simon Cruanes 2020-10-04 12:50:04 -04:00
parent e0f14837ac
commit 9ca278dc51

View file

@ -1,5 +1,3 @@
(* AUTOGENERATED FROM CCStringLabels.mli *)
(* This file is free software, part of containers. See file "license" for more details. *)