fix(fitch): fixed wrong line number for b-elim

changed needed line number for b-elim from 2 to 1 fix #32
Kaeldehta · Sep 7, 2022 · e93abb3 · e93abb3
1 parent c5ec5ba
commit e93abb3
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/rules/fitch.ts b/src/rules/fitch.ts
@@ -44,7 +44,7 @@ const propRulesOptions: Record<
   },
   "b-elim": {
     label: "\u2194-Elim",
-    count: 2,
+    count: 1,
   },
   "c-intro": {
     label: "\u2227-Intro",