diff --git a/Test/minus2.xml b/Test/minus2.xml new file mode 100644 index 0000000..5af6f64 --- /dev/null +++ b/Test/minus2.xml @@ -0,0 +1,3 @@ + + + diff --git a/Test/ok/minus2.ok b/Test/ok/minus2.ok new file mode 100644 index 0000000..1938381 --- /dev/null +++ b/Test/ok/minus2.ok @@ -0,0 +1,2 @@ +[element('x--y', [], [])]. +[].