From: Rafaël Bocquet <rafael.bocquet@ens.fr>
Date: Mon, 23 May 2016 13:58:51 +0000 (+0200)
Subject: Fix the module name
X-Git-Url: https://git.ak3n.com/?a=commitdiff_plain;h=df19eb0cf3772202db1ec1cb1053f981c3f41ffe;p=cubicaltt.git

Fix the module name
---

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