mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-04 13:21:22 +00:00
Code Activity

Fix a mistake in previous commit causing imcompilable code

Browse source 
Also correct my alias
This commit is contained in:
Anh-Dung Phan 2013-10-26 05:22:52 +02:00
parent 532c345fd1
commit 3d943bf70d
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
src/smt/theory_diff_logic_def.h
View file

@ -1010,8 +1010,8 @@ bool theory_diff_logic<Ext>::maximize(theory_var v) {
vector<dl_edge<GExt>> es = m_graph.get_all_edges(); vector<dl_edge<GExt>> es = m_graph.get_all_edges();
dl_var offset = m_graph.get_num_edges(); dl_var offset = m_graph.get_num_edges();
for (unsigned i = 0; i < es.size(); ++i) { for (unsigned i = 0; i < es.size(); ++i) {
dl_edge<GExt> e(es[i]); dl_edge<GExt> & e = es[i];
g.enable_edge(g.add_edge(e)); 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())); g.enable_edge(g.add_edge(e.get_target() + offset, e.get_source() + offset, e.get_weight(), e.get_explanation()));
} }