Commit a5608a7e authored by Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz
Browse files

* src/tgbaalgos/minimizerun.cc: Shut up a GCC warning when assert

are disabled.
parent 6724f4bf
2004-11-27 Alexandre Duret-Lutz <adl@src.lip6.fr>
* src/tgbaalgos/minimizerun.cc: Shut up a GCC warning when assert
are disabled.
2004-11-27 Alexandre Duret-Lutz <adl@src.lip6.fr>
Denis Poitrenaud <Denis.Poitrenaud@lip6.fr>
......
......@@ -140,6 +140,7 @@ namespace spot
const state* s = shpath.search(segment_next->clone(), res->cycle);
ss.clear();
assert(s->compare(segment_start) == 0);
(void)s;
}
// Compute the prefix: it's the shortest path from the initial
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment