From 2dfe429447d7c4ccbed424f52fc75ff5cfb6c5b6 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Fri, 19 Aug 2016 14:30:05 +0200
Subject: [PATCH] org: fix an example input

* doc/org/autfilt.org: Remove incorrect acc-name.
---
 doc/org/autfilt.org | 1 -
 1 file changed, 1 deletion(-)

diff --git a/doc/org/autfilt.org b/doc/org/autfilt.org
index 096079508..bb5465c08 100644
--- a/doc/org/autfilt.org
+++ b/doc/org/autfilt.org
@@ -439,7 +439,6 @@ HOA: v1
 States: 3
 Start: 0
 AP: 2 "a" "b"
-acc-name: Buchi
 Acceptance: 4 Inf(0)&Fin(1)&Fin(3) | Inf(2)&Inf(3) | Inf(1)
 --BODY--
 State: 0 {3}