fix: merge with previous names

flamapy · May 27, 2024 · c015498 · c015498
2 parents 8032e25 + 4465530
commit c015498
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/flamapy/core/operations/__init__.py b/flamapy/core/operations/__init__.py
@@ -25,4 +25,4 @@
            "ErrorDetection", "ErrorDiagnosis", "Operation", "Variability", "CountLeafs", 
            "AverageBranchingFactor", "Filter", "Sampling", 
            "EstimatedConfigurationsNumber", "AtomicSets", 'Metrics', 
-           "Satisfiable", "SatisfiableConfiguration", "Configurations", "ConfigurationsNumber"]
+           "Satisfiable", "SatisfiableConfiguration", "Configurations", "ConfigurationsNumber"]