From 5cc6cc99f3c3ed0028ea8f199b6f4778cb69837d Mon Sep 17 00:00:00 2001
From: Dwight Guth <dwightguth@runtimeverification.com>
Date: Fri, 21 Aug 2015 14:10:58 -0500
Subject: [PATCH] remove broken test

---
 k-distribution/tests/regression/config.xml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/k-distribution/tests/regression/config.xml b/k-distribution/tests/regression/config.xml
index 2cab8bb1ff..91391a676f 100644
--- a/k-distribution/tests/regression/config.xml
+++ b/k-distribution/tests/regression/config.xml
@@ -71,10 +71,10 @@
   <include file="kore-cell-fragments/imp_fragments/config.xml"
            directory="kore-cell-fragments/imp_fragments/" />
 
-  <include file="smt-sort-flattening/config.xml"
+<!--  <include file="smt-sort-flattening/config.xml"
            directory="smt-sort-flattening"
            programs="smt-sort-flattening"
-           results="smt-sort-flattening" />
+           results="smt-sort-flattening" />-->
 
 </tests>