mirror of
https://github.com/Jaxan/hybrid-ads.git
synced 2025-06-07 00:47:44 +02:00
Fixes bug in parser
This commit is contained in:
parent
388e278b0b
commit
0d24dcf137
1 changed files with 1 additions and 1 deletions
|
@ -44,7 +44,7 @@ mealy read_mealy_from_txt(std::istream & in) {
|
||||||
v.resize(max_input);
|
v.resize(max_input);
|
||||||
v[i] = mealy::edge(to, o);
|
v[i] = mealy::edge(to, o);
|
||||||
|
|
||||||
assert(defined(m, to, i));
|
assert(defined(m, from, i));
|
||||||
}
|
}
|
||||||
|
|
||||||
m.graph_size = max_state;
|
m.graph_size = max_state;
|
||||||
|
|
Loading…
Add table
Reference in a new issue