From df19eb0cf3772202db1ec1cb1053f981c3f41ffe Mon Sep 17 00:00:00 2001
From: =?utf8?q?Rafa=C3=ABl=20Bocquet?= <rafael.bocquet@ens.fr>
Date: Mon, 23 May 2016 15:58:51 +0200
Subject: [PATCH] Fix the module name

---
 examples/csystem.ctt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/examples/csystem.ctt b/examples/csystem.ctt
index 71be6fc..e22a5a5 100644
--- a/examples/csystem.ctt
+++ b/examples/csystem.ctt
@@ -1,4 +1,4 @@
-module csystem3 where
+module csystem where
 import prelude
 import sigma
 import equiv
-- 
2.34.1