Don't make newly generated backpropagations strict in their step parameter.

This led to an infinite loop if there were any backpropagations (since
the step parameter closes a cycle).

1 files changed, 2 insertions, 2 deletions

diff --git a/tools/resolver-visualize/Resolver/Log.hs b/tools/resolver-visualize/Resolver/Log.hs
index 2d8942c8..87b8b9c4 100644
--- a/tools/resolver-visualize/Resolver/Log.hs
+++ b/tools/resolver-visualize/Resolver/Log.hs
@@ -691,8 +691,8 @@ extractProcessingSteps partialSteps =
       findBackpropagation :: (Solution, Promotion) -> Backpropagation
       findBackpropagation (sol, p) =
           case Map.lookup sol stepMap of
-            Just step -> step `seq` p `seq` Backpropagation { backpropagationStep = step,
-                                                              backpropagationPromotion = p }
+            Just step -> p `seq` Backpropagation { backpropagationStep = step,
+                                                   backpropagationPromotion = p }
             Nothing -> error $ "No match for the solution " ++ show sol ++ " when adding the backpropagated promotion " ++ show p
 
       -- How to build an output step from an input step.  This is