]> matita.cs.unibo.it Git - helm.git/blob - 016.out
c7e489f6e7bb66175229e80a8fda3caa66993d13
[helm.git] / 016.out
1 In entity [toplevel] = SYSTEM "file://localhost/home/gerd/ocaml/smcvs/ocamlpkg/markup/rtests/negative/data_jclark_notwf/sa/016.xml", at line 1, position 13:
2 ERROR (Well-formedness constraint): `>' or `/>' expected