From 2f5fa8e7a1b9c8fcaf6ca03cdf37de8de243ce19 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Thu, 3 Nov 2016 23:51:32 +0100
Subject: [PATCH] detail in doc

---
 doc/intro.txt | 1 -
 1 file changed, 1 deletion(-)

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}