summaryrefslogtreecommitdiff
path: root/src/test/bw.mly
diff options
context:
space:
mode:
authorSébastien Dailly <sebastien@chimrod.com>2021-09-06 16:13:56 +0200
committerSébastien Dailly <sebastien@chimrod.com>2021-09-06 16:13:56 +0200
commite4faaaf8a022fbe2c8c574d2d49155f74aa18a33 (patch)
treebbc5cbe1e3ab4ae31bfca8a3b1837478d155380f /src/test/bw.mly
parenta4ec992ad24a5f62e8795f608b3d7943db0d8c1a (diff)
Update
Diffstat (limited to 'src/test/bw.mly')
-rw-r--r--src/test/bw.mly18
1 files changed, 0 insertions, 18 deletions
diff --git a/src/test/bw.mly b/src/test/bw.mly
deleted file mode 100644
index 8b022bd..0000000
--- a/src/test/bw.mly
+++ /dev/null
@@ -1,18 +0,0 @@
-%token B
-%token W
-%token EOL
-
-%start<unit> main
-
-%%
-
-seq : {}
- | seq B {}
- | seq W {}
- ;
-
-ending : {}
- | W W W {}
- ;
-
-main : seq ending EOL {}