]> matita.cs.unibo.it Git - helm.git/blob - 141.out
cbd6185703bd7741f13141b6211e5fcd977bbe47
[helm.git] / 141.out
1 In entity e, at line 1, position 2:
2 Called from entity [toplevel] = SYSTEM "file://localhost/home/gerd/ocaml/smcvs/ocamlpkg/markup/rtests/negative/data_jclark_notwf/sa/141.xml", line 4, position 5:
3 ERROR (Well-formedness constraint): Illegal inside tags