From b47e0e444bd9499b4906b054bb7a32a0a699613c Mon Sep 17 00:00:00 2001 From: Mattias Andrée Date: Sat, 29 Nov 2014 23:23:23 +0100 Subject: mds-kbdc: fix permutation generation MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Signed-off-by: Mattias Andrée --- test-files/mds-kbdc/simplify-tree/valid/unorderd_inside_alternation | 4 ---- 1 file changed, 4 deletions(-) delete mode 100644 test-files/mds-kbdc/simplify-tree/valid/unorderd_inside_alternation (limited to 'test-files/mds-kbdc/simplify-tree/valid/unorderd_inside_alternation') diff --git a/test-files/mds-kbdc/simplify-tree/valid/unorderd_inside_alternation b/test-files/mds-kbdc/simplify-tree/valid/unorderd_inside_alternation deleted file mode 100644 index ac52b62..0000000 --- a/test-files/mds-kbdc/simplify-tree/valid/unorderd_inside_alternation +++ /dev/null @@ -1,4 +0,0 @@ -[1 (2 3)] : 0 - -# TODO - -- cgit v1.2.3-70-g09d2