Fix the module name

diff --git a/examples/csystem.ctt b/examples/csystem.ctt
index 71be6fc484c6013cb7a64dbc900d675331441b5a..e22a5a52d3a75d37bb7c0c47b7445b0903f43e9b 100644 (file)
--- a/examples/csystem.ctt
+++ b/examples/csystem.ctt
@@ -1,4 +1,4 @@
-module csystem3 where
+module csystem where
 import prelude
 import sigma
 import equiv