Index: /ModelTranslator/src/de/uni_hildesheim/sse/trans/out/DimacsWriter.java
===================================================================
--- /ModelTranslator/src/de/uni_hildesheim/sse/trans/out/DimacsWriter.java	(revision 390)
+++ /ModelTranslator/src/de/uni_hildesheim/sse/trans/out/DimacsWriter.java	(revision 391)
@@ -35,5 +35,5 @@
         // Tristates
         "\r\nc Explanation of Tristate variables:\r\n"
-        + "c VAR VAR_Module Meaning\r\n"
+        + "c VAR VAR_MODULE Meaning\r\n"
         + "c  0       0     VAR is disabled (selection is 'n')\r\n"
         + "c  1       0     VAR is permanetely selected (selection is 'y')\r\n"