detail in doc

This commit is contained in:
Simon Cruanes 2016-11-03 23:51:32 +01:00
parent 2d718b93ad
commit 2f5fa8e7a1

View file

@ -107,7 +107,6 @@ the main type ([CCSexp.t]) isn't.
{!modules:
CCSexp
CCSexpM
}
{4 Containers.iter}