diff --git a/fs-succinct/Makefile b/fs-succinct/Makefile index 0a96cb47914521b9d2e1689ee0a133021bb745cc..60c5d54ce9ba9ecd04e9032b47bdd2600bb19f1b 100644 --- a/fs-succinct/Makefile +++ b/fs-succinct/Makefile @@ -1,4 +1,4 @@ TOP=.. -PICS=sole sole_even +PICS=sole include ../Makerules diff --git a/fs-succinct/sole_even.asy b/fs-succinct/sole_even.asy deleted file mode 100644 index f83aacf5aa0cea6c233153e14ebbb0843ad8c788..0000000000000000000000000000000000000000 --- a/fs-succinct/sole_even.asy +++ /dev/null @@ -1,9 +0,0 @@ -import sole_common; - -blocks(0, "...", "B", "B", "EOF"); -thruarrows(0, 1, 3); -blocks(1, "...", "B+1", "B+1", "B+1", "0"); -mixarrows(1, 1, 4); -blocks(2, "...", "B-i", "B+j", "B-j", "B+k", "0"); -mixarrows(2, 0, 6); -blocks(3, "...", "B", "B", "B", "B", "B");