Fix counting of arrow solutions

Drup · Aug 30, 2024 · 829678b · 829678b
1 parent 29010f2
commit 829678b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/lib/unification/Unification.ml b/lib/unification/Unification.ml
@@ -109,12 +109,12 @@ and solve_arrow_problem env0 { ArrowTerm.left; right } =
     ]
   in
   potentials |> Iter.of_list
+  |> Trace.wrap_arrow_sol
   |> Iter.flat_map (fun (desc, f) ->
          Trace.wrap_iter ~__FUNCTION__ ~__FILE__ ~__LINE__
            ("Solve_arrow sub problem: " ^ desc )
            ~data:(fun () -> [ ("case", `String desc); "pb", `String pb ])
            (try_with_solution env0 f ()))
-  |> Trace.wrap_arrow_sol
 
 and try_with_solution : type a. _ -> (Env.t -> a -> return) -> a -> _ =
  fun env f sol k ->