module_header.mustache in tla-sbuilder-0.3.7

- old
+ new

@@ -2,8 +2,10 @@
 Generator version: {{META.version}}
 Generation timestemp: {{META.timestamp}}
 
 ------------------------------ MODULE setup ------------------------------
 
-EXTENDS model, TLC
+(* Module to check correctness  *)
+
+EXTENDS config
 
 