diff --git a/doc/intro.txt b/doc/intro.txt
index 53280745..25c559ea 100644
--- a/doc/intro.txt
+++ b/doc/intro.txt
@@ -107,7 +107,6 @@ the main type ([CCSexp.t]) isn't.
 
 {!modules:
 CCSexp
-CCSexpM
 }
 
 {4 Containers.iter}