diff --git a/src/test/java/de/tla2b/examples/InstanceTest.java b/src/test/java/de/tla2b/examples/InstanceTest.java
index 5b83029879c6a92de649ba2c290f132e6abc3332..b1a2b66bd16db4690023a14804be2c4908075458 100644
--- a/src/test/java/de/tla2b/examples/InstanceTest.java
+++ b/src/test/java/de/tla2b/examples/InstanceTest.java
@@ -25,6 +25,12 @@ public class InstanceTest {
 		runModule(file);
 	}
 
+	@Test
+	public void testModConstantAssignment() throws Exception {
+		String file = "src/test/resources/examples/instance/Counter/ModConstantAssignment.tla";
+		runModule(file);
+	}
+
 	@Test
 	public void testOneInstanced() throws Exception {
 		String file = "src/test/resources/examples/instance/Counter/OneInstanced.tla";