From 8b996c5dc9f40de9c4aec3f46dfd0ca821691799 Mon Sep 17 00:00:00 2001
From: Tiago Gomes <tgomes@fc.up.pt>
Date: Thu, 13 Dec 2012 14:21:16 +0000
Subject: [PATCH] Lkc: show that we exported the circuit to graphviz when
 debugging

---
 packages/CLPBN/horus/LiftedCircuit.cpp | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/packages/CLPBN/horus/LiftedCircuit.cpp b/packages/CLPBN/horus/LiftedCircuit.cpp
index 029ea7fea..41ea4f2ae 100644
--- a/packages/CLPBN/horus/LiftedCircuit.cpp
+++ b/packages/CLPBN/horus/LiftedCircuit.cpp
@@ -177,11 +177,13 @@ LiftedCircuit::LiftedCircuit (const LiftedWCNF* lwcnf)
     smoothCircuit (root_);
   }
   if (Globals::verbosity > 1) {
-    exportToGraphViz("circuit.smooth.dot");
     if (compilationSucceeded_) {
       double wmc = LogAware::exp (getWeightedModelCount());
-      cout << "WEIGHTED MODEL COUNT: " << wmc << endl << endl;
+      cout << "Weighted model count = " << wmc << endl << endl;
     }
+    cout << "Exporting circuit to graphviz (circuit.dot)..." ;
+    cout << endl << endl;
+    exportToGraphViz ("circuit.dot");
   }
 }