Index: /ModelExtender/test/de/uni_hildesheim/see/model_extender/ModelExtenderTest.java
===================================================================
--- /ModelExtender/test/de/uni_hildesheim/see/model_extender/ModelExtenderTest.java	(revision 225)
+++ /ModelExtender/test/de/uni_hildesheim/see/model_extender/ModelExtenderTest.java	(revision 226)
@@ -210,5 +210,5 @@
         int cE8 = DimacsTestUtils.getNumberOfVariable(dimacsString, "C=8");
         
-        // C=9 and C=9 do not intersect:
+        // C=9 and C=8 do not intersect:
         //  C=9 XOR C=8 == !C=9 || !C=8 AND C=9 || C=8
         Assert.assertTrue(DimacsTestUtils.containsConstraint(dimacsString, -cE8, -cE9));