does not print beta and let rules in afsm export

Deducteam · Feb 6, 2024 · 6aaa545 · 6aaa545
1 parent a004b82
commit 6aaa545
Showing 1 changed file with 1 addition and 3 deletions.
diff --git a/src/export/afsm.ml b/src/export/afsm.ml
@@ -158,7 +158,5 @@ A : t -> t -> t
 L : t -> (t -> t) -> t
 P : t -> (t -> t) -> t
 B : t -> t -> (t -> t) -> t%a
-
-A (L V Y) Z => Y Z
-B V Z Y => Y Z%s
+%s
 \n" pp_syms !syms (Buffer.contents buf_rules)