From 3d943bf70dc40ed8e02f185ace60c53c8dcfecc6 Mon Sep 17 00:00:00 2001
From: Anh-Dung Phan <t-anphan@microsoft.com>
Date: Sat, 26 Oct 2013 05:22:52 +0200
Subject: [PATCH] Fix a mistake in previous commit causing imcompilable code

Also correct my alias
---
 src/smt/theory_diff_logic_def.h | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/smt/theory_diff_logic_def.h b/src/smt/theory_diff_logic_def.h
index 841375253..41fbf7566 100644
--- a/src/smt/theory_diff_logic_def.h
+++ b/src/smt/theory_diff_logic_def.h
@@ -1010,8 +1010,8 @@ bool theory_diff_logic<Ext>::maximize(theory_var v) {
     vector<dl_edge<GExt>> es = m_graph.get_all_edges();
     dl_var offset = m_graph.get_num_edges();
     for (unsigned i = 0; i < es.size(); ++i) {
-        dl_edge<GExt> e(es[i]);
-        g.enable_edge(g.add_edge(e));
+        dl_edge<GExt> & e = es[i];
+        g.enable_edge(g.add_edge(e.get_source(), e.get_target(), e.get_weight(), e.get_explanation()));
         g.enable_edge(g.add_edge(e.get_target() + offset, e.get_source() + offset, e.get_weight(), e.get_explanation()));
     }