fix: naming problem with the diagnosis class

flamapy · Nov 8, 2023 · 0283cc2 · 0283cc2
1 parent 619e7ba
commit 0283cc2
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/flamapy/metamodels/pysat_diagnosis_metamodel/operations/pysat_diagnosis.py b/flamapy/metamodels/pysat_diagnosis_metamodel/operations/pysat_diagnosis.py
@@ -7,7 +7,7 @@
 from .diagnosis.hsdag.labeler.fastdiag_labeler import FastDiagParameters, FastDiagLabeler
 
 
-class PySAT3Diagnosis(PySATAbstractIdentifier):
+class PySATDiagnosis(PySATAbstractIdentifier):
     """
     An operation that computes diagnoses and conflict sets
     using the combination of HSDAG and FastDiag algorithms.