From ff4f4ee4823af8b9a8fc9b6b9cd5ea89985e639f Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Tue, 25 Jul 2017 17:54:31 +0200
Subject: [PATCH] parseaut: use prop_universal() instead of
 prop_deterministic()

* spot/parseaut/parseaut.yy: Here.
---
 spot/parseaut/parseaut.yy | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/spot/parseaut/parseaut.yy b/spot/parseaut/parseaut.yy
index 598f143ed..3c405a0dc 100644
--- a/spot/parseaut/parseaut.yy
+++ b/spot/parseaut/parseaut.yy
@@ -2338,7 +2338,7 @@ static void fix_initial_state(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 complete: " << r.complete << '\n';
   r.aut_or_ks->prop_complete(r.complete);