From 1d732594e2bbcdc4b4687e722af5c8b8a442e348 Mon Sep 17 00:00:00 2001
From: Tiago Gomes <tgomes@fc.up.pt>
Date: Mon, 10 Dec 2012 19:39:09 +0000
Subject: [PATCH] smooth circuit

Smooth the circuit independent of the verbosity level, but don't smooth it when the compilation has fail.
---
 packages/CLPBN/horus/LiftedCircuit.cpp | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/packages/CLPBN/horus/LiftedCircuit.cpp b/packages/CLPBN/horus/LiftedCircuit.cpp
index bbf1c3d02..de7cd96b1 100644
--- a/packages/CLPBN/horus/LiftedCircuit.cpp
+++ b/packages/CLPBN/horus/LiftedCircuit.cpp
@@ -178,8 +178,10 @@ LiftedCircuit::LiftedCircuit (const LiftedWCNF* lwcnf)
   compilationSucceeded_ = true;
   Clauses clauses = Clause::copyClauses (lwcnf->clauses());
   compile (&root_, clauses);
-  if (Globals::verbosity > 1) {
+  if (compilationSucceeded_) {
     smoothCircuit (root_);
+  }
+  if (Globals::verbosity > 1) {
     exportToGraphViz("circuit.smooth.dot");
     if (compilationSucceeded_) {
       double wmc = LogAware::exp (getWeightedModelCount());