fix(st_exercise): removed irrelevant rule

removed the falsum rule since it is an extra button already
Kaeldehta · Mar 13, 2022 · c4117d5 · c4117d5
1 parent 31e33c4
commit c4117d5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/exercises/st_exercise/types.ts b/src/exercises/st_exercise/types.ts
@@ -1,4 +1,4 @@
-export const propRules = ["NC", "ND", "D", "C", "MC", "NMC", "NB", "B", "DN", "F"] as const;
+export const propRules = ["NC", "ND", "D", "C", "MC", "NMC", "NB", "B", "DN"] as const;
 export const predRules = [...propRules, "UQ", "NUQ", "EQ", "NEQ", "IS", "NIS"] as const;
 export const propRulesOptions = propRules.map(r => ({label: r, value: r, count: 1}))
 export const predRulesOptions = predRules.map(r => ({label: r, value: r, count: 1}))