diff --git a/src/test/scala/org/kframework/kale/km/RewriteTest.scala b/src/test/scala/org/kframework/kale/km/RewriteTest.scala
index ff93722..935fa9a 100644
--- a/src/test/scala/org/kframework/kale/km/RewriteTest.scala
+++ b/src/test/scala/org/kframework/kale/km/RewriteTest.scala
@@ -63,7 +63,7 @@ class RewriteTest extends FreeSpec {
 
   }
 
-  "symbolic" in {
+  "symbolic" ignore {
 
     // variable declarations
     val X = Variable("X", Int)