From 72c3473400b94866f4fa34529f54d0be7eb50f9f Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sat, 26 Oct 2013 20:48:19 +0800
Subject: [PATCH] cleanup

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/smt/network_flow_def.h | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

diff --git a/src/smt/network_flow_def.h b/src/smt/network_flow_def.h
index 464747141..7f6add1eb 100644
--- a/src/smt/network_flow_def.h
+++ b/src/smt/network_flow_def.h
@@ -166,12 +166,10 @@ namespace smt {
         SASSERT(m_is_optimal);
         flows.reset();
         flows.append(m_flows);
-        numeral cost(0);
+        objective = numeral::zero();
         for (unsigned int i = 0; i < m_flows.size(); ++i) {
-            // FIXME: this * operator is not supported
-            cost += m_costs[i] * m_flows[i];
+            objective += m_costs[i] * m_flows[i];
         }
-        objective = cost;
     }
 
     // Minimize cost flows