diff options
Diffstat (limited to 'examples/results/escape1.out')
-rw-r--r-- | examples/results/escape1.out | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/examples/results/escape1.out b/examples/results/escape1.out new file mode 100644 index 0000000..e7982eb --- /dev/null +++ b/examples/results/escape1.out @@ -0,0 +1,14 @@ +<a1> + <a11> + <a111> + <a1111/> + </a111> + <a112> + <a1121/> + </a112> + </a11> + <a12/> + <a13> + <a131/> + </a13> +</a1> |