alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

org: fix an example input

Browse source 
* doc/org/autfilt.org: Remove incorrect acc-name.
This commit is contained in:
Alexandre Duret-Lutz 2016-08-19 14:30:05 +02:00
parent 571f0112ab
commit 2dfe429447
1 changed files with 0 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

1
doc/org/autfilt.org
View file

@ -439,7 +439,6 @@ HOA: v1
States: 3 States: 3
Start: 0 Start: 0
AP: 2 "a" "b" AP: 2 "a" "b"
acc-name: Buchi
Acceptance: 4 Inf(0)&Fin(1)&Fin(3) | Inf(2)&Inf(3) | Inf(1) Acceptance: 4 Inf(0)&Fin(1)&Fin(3) | Inf(2)&Inf(3) | Inf(1)
--BODY-- --BODY--
State: 0 {3} State: 0 {3}