From 0a2e14528c08cb1026a7f4b498573df54f6f19f0 Mon Sep 17 00:00:00 2001
From: steve-anunknown <steve.anunknown@gmail.com>
Date: Thu, 16 Jan 2025 23:49:37 +0200
Subject: [PATCH] fixed mistake. can't consume iterator more than once. still
 fast but last round takes up time, as expected

---
 aalpy/oracles/WpMethodEqOracle.py | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/aalpy/oracles/WpMethodEqOracle.py b/aalpy/oracles/WpMethodEqOracle.py
index 8875b8e8..2915a08c 100644
--- a/aalpy/oracles/WpMethodEqOracle.py
+++ b/aalpy/oracles/WpMethodEqOracle.py
@@ -51,8 +51,8 @@ def second_phase_it(hyp, alphabet, difference, depth):
     state_mapping = {}
     for d in range(depth):
         middle = product(alphabet, repeat=d)
-        for t in difference:
-            for mid in middle:
+        for mid in middle:
+            for t in difference:
                 _ = hyp.execute_sequence(hyp.initial_state, t + mid)
                 state = hyp.current_state
                 if state not in state_mapping: