1 files changed, 4 insertions, 3 deletions
diff --git a/impl/main.cpp b/impl/main.cpp
index e3e0ae3..b547c48 100644
--- a/impl/main.cpp
+++ b/impl/main.cpp
@@ -147,13 +147,14 @@ int main (int argc, char* argv[]) {
   if (variables.size() > 0) {
     for (unsigned int i = 0, size = system.variableCount(); i < size; ++i) {
       Variable<ZBar>& var = system.variable(i);
-      if (variables.find(var.name()) != variables.end())
-        cout << var.name() << " = " << rho[var] << endl;
+      if (variables.find(var.name()) != variables.end()) {
+        cout << var.name() << " = " << rho[var].asKnown() << endl;
+      }
     }
   } else {
     for (unsigned int i = 0, size = system.variableCount(); i < size; ++i) {
       Variable<ZBar>& var = system.variable(i);
-      cout << var.name() << " = " << rho[var] << endl;
+      cout << var.name() << " = " << rho[var].asKnown() << endl;
     }
   }