]> matita.cs.unibo.it Git - helm.git/blob - 181.out
b9c2569579a41201de23020a412872505165465b
[helm.git] / 181.out
1 In entity e, at line 1, position 0:
2 Called from entity [toplevel] = SYSTEM "file://localhost/home/gerd/ocaml/smcvs/ocamlpkg/markup/rtests/negative/data_jclark_notwf/sa/181.xml", line 5, position 5:
3 ERROR (Well-formedness constraint): Declaration either malformed or not allowed in this context