X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satune.git;a=blobdiff_plain;f=src%2FASTTransform%2Fdecomposeordertransform.cc;h=eaf81415bdb74a31771ad9c541761d1f78187606;hp=62b08284cbcd446fccb6677e01b49d26b53d563b;hb=cbd921ee35b6a29934fd7cecccde7f160228af17;hpb=4fd5cd60484d477ef7110813d8206325f75822ea

diff --git a/src/ASTTransform/decomposeordertransform.cc b/src/ASTTransform/decomposeordertransform.cc
index 62b0828..eaf8141 100644
--- a/src/ASTTransform/decomposeordertransform.cc
+++ b/src/ASTTransform/decomposeordertransform.cc
@@ -28,6 +28,8 @@ DecomposeOrderTransform::~DecomposeOrderTransform() {
 }
 
 void DecomposeOrderTransform::doTransform() {
+	if(solver->isUnSAT())
+		return;
 	HashsetOrder *orders = solver->getActiveOrders()->copy();
 	SetIteratorOrder *orderit = orders->iterator();
 	while (orderit->hasNext()) {