]> matita.cs.unibo.it Git - helm.git/blob - 066.out
d14209f38e28a8dd363ca78ececbb6f2f731e082
[helm.git] / 066.out
1 In entity [toplevel] = SYSTEM "file://localhost/home/gerd/ocaml/smcvs/ocamlpkg/markup/rtests/negative/data_invalid/066.xml", at line 13, position 1:
2 ERROR (Validity constraint): Reference to undeclared notation `n3'