]> matita.cs.unibo.it Git - helm.git/blob - 002.out
8cb67833e8e3a6aee3cdc72b73e8fe82e7cc255f
[helm.git] / 002.out
1 In entity e, at line 1, position 1:
2 Called from entity [toplevel] = SYSTEM "file://localhost/home/gerd/ocaml/smcvs/ocamlpkg/markup/rtests/negative/data_jclark_notwf/not-sa/002.xml", line 4, position 0:
3 ERROR (Well-formedness constraint): `]' expected