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

* src/tgbaalgos/magic.cc (seen_with_magic, seen_without_magic): Remove.

parent 1ac0b086
2003-08-22 Alexandre Duret-Lutz <aduret@src.lip6.fr>
* src/tgbaalgos/magic.cc (seen_with_magic, seen_without_magic): Remove.
* wrap/python/cgi/ltl2tgba.in: Fix display of relations for
tgba_bdd_concrete automata.
......
......@@ -5,10 +5,6 @@
namespace spot
{
const unsigned char seen_without_magic = 1;
const unsigned char seen_with_magic = 2;
magic_search::magic_search(const tgba_tba_proxy* a)
: a(a), x(0)
{
......
Supports Markdown
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