uncomment test

runtimeverification · Dec 21, 2015 · aae9d78 · aae9d78
1 parent db849c4
commit aae9d78
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/test/java/syntax/StaticEventIT.java b/src/test/java/syntax/StaticEventIT.java
@@ -19,7 +19,7 @@ public class StaticEventIT {
 
     private final TestHelper helper = new TestHelper(path + File.separator + testName + ".mop");
 
-//    @Test
+    @Test
     public void StaticEventTest() throws Exception {
         String command = System.getProperty("user.dir") + File.separator + "bin" + File.separator + "javamop";
         if (SystemUtils.IS_OS_WINDOWS) {