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

parseaut: use prop_universal() instead of prop_deterministic()

* spot/parseaut/parseaut.yy: Here.
parent abe2c08b
...@@ -2338,7 +2338,7 @@ static void fix_initial_state(result_& r) ...@@ -2338,7 +2338,7 @@ static void fix_initial_state(result_& r)
static void fix_properties(result_& r) static void fix_properties(result_& r)
{ {
r.aut_or_ks->prop_deterministic(r.deterministic); r.aut_or_ks->prop_universal(r.deterministic);
// std::cerr << "fix det: " << r.deterministic << '\n'; // std::cerr << "fix det: " << r.deterministic << '\n';
// std::cerr << "fix complete: " << r.complete << '\n'; // std::cerr << "fix complete: " << r.complete << '\n';
r.aut_or_ks->prop_complete(r.complete); r.aut_or_ks->prop_complete(r.complete);
......
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