diff options
Diffstat (limited to 'testdata/integration/user_defined_syntax/simple_short_token.in.osml')
-rw-r--r-- | testdata/integration/user_defined_syntax/simple_short_token.in.osml | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/testdata/integration/user_defined_syntax/simple_short_token.in.osml b/testdata/integration/user_defined_syntax/simple_short_token.in.osml new file mode 100644 index 0000000..ef12a98 --- /dev/null +++ b/testdata/integration/user_defined_syntax/simple_short_token.in.osml @@ -0,0 +1,17 @@ +\document +\ontology#test{ + \struct#a[root=true] + \field + \childRef[ref=b] + \childRef[ref=c] + \struct#b + \syntax + \short{!=} + \struct#c + \syntax + \short{=} +} + +\begin{a} += +\end{a} |