Update formatting and remove unnecessary file

MiniZinc · Jan 16, 2025 · ff0b84f · ff0b84f
1 parent 0810c36
commit ff0b84f
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 4 deletions.
diff --git a/.envrc b/.envrc
diff --git a/src/minizinc/instance.py b/src/minizinc/instance.py
@@ -342,9 +342,11 @@ async def diverse_solutions(
             with inst.branch() as child:
                 # Add constraints to the model that sets the decision variables to the reference solution, if provided
                 if reference_solution:
-                    if isinstance(reference_solution, Result) and is_dataclass(
-                        reference_solution.solution
-                    ) and not isinstance(reference_solution.solution, type):
+                    if (
+                        isinstance(reference_solution, Result)
+                        and is_dataclass(reference_solution.solution)
+                        and not isinstance(reference_solution.solution, type)
+                    ):
                         solution_obj = asdict(reference_solution.solution)
                     else:
                         assert isinstance(reference_solution, dict)