matita.cs.unibo.it Git - helm.git/blob - 011.out

]> matita.cs.unibo.it Git - helm.git/blob - 011.out

projects / helm.git / blob

a03a2046b4ab5c4c238b6a92e8b8cd983fa22c8f

[helm.git] / 011.out

1 In entity [toplevel] = SYSTEM "file://localhost/home/gerd/ocaml/smcvs/ocamlpkg/markup/rtests/negative/data_invalid/011.xml", at line 10, position 17:

2 ERROR (Validity constraint): ID not unique

Unnamed repository; edit this file 'description' to name the repository.