Fix typo

ammrat13 · Nov 24, 2023 · bb3ba10 · bb3ba10
1 parent 90e7ea0
commit bb3ba10
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/internal/theory/theory.go b/internal/theory/theory.go
@@ -61,7 +61,7 @@ type Solver interface {
 // The Solvers variable stores a map from strings to the [Solver] they are
 // associated with. We use this map when processing command-line arguments.
 var Solvers = map[string]Solver{
-	"bf-baisc":   &BF{BasicMode: true},
+	"bf-basic":   &BF{BasicMode: true},
 	"bf-full":    &BF{BasicMode: false},
 	"spfa-basic": &SPFA{BasicMode: true},
 	"spfa-full":  &SPFA{BasicMode: false},