From f7af4e65f6afdd6de52deb329e0cfd6b2328fac3 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Fri, 24 Aug 2012 13:34:39 +0200
Subject: [PATCH] CGI: Do not call any simulation on WDBA's success.

* wrap/python/ajax/spot.in: Here.
---
 wrap/python/ajax/spot.in | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/wrap/python/ajax/spot.in b/wrap/python/ajax/spot.in
index be7c20fc6..7499d6cf7 100755
--- a/wrap/python/ajax/spot.in
+++ b/wrap/python/ajax/spot.in
@@ -639,6 +639,8 @@ if wdba_minimize:
         degen = False # No need to degeneralize anymore
         issba = True
         direct_simul = False # No need to simulate anymore
+        reverse_simul = False
+        iterated_simul = False
 
 if direct_simul and not iterated_simul:
     automaton = spot.simulation(automaton)