Fixup

ADA-research · Dec 19, 2024 · 8d78e2b · 8d78e2b
1 parent be42c4b
commit 8d78e2b
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/sparkle/types/status.py b/sparkle/types/status.py
@@ -4,10 +4,7 @@
 
 
 class SolverStatus(str, Enum):
-    """Possible return states for solver runs."""
-    def __str__(self):
-        return str(self.value)
-
+    """Possible return states for solver runs."""    
     SUCCESS = "SUCCESS"  # Positive status
     UNKNOWN = "UNKNOWN"  # Semi positive status
     SAT = "SAT"  # SAT specific positive status
@@ -19,3 +16,6 @@ def __str__(self):
     WRONG = "WRONG"
     ERROR = "ERROR"
     KILLED = "KILLED"
+
+    def __str__(self):
+        return str(self.value)