Commit d4d1b0b3 authored by Guillaume Melquiond's avatar Guillaume Melquiond

Fix DTD for why3session.xml.

parent c6ebb4ab
......@@ -10,7 +10,7 @@
<!ATTLIST prover memlimit CDATA #IMPLIED>
<!ATTLIST prover steplimit CDATA #IMPLIED>
<!ELEMENT file (path*) (theory*)>
<!ELEMENT file (path*, theory*)>
<!ATTLIST file name CDATA #IMPLIED>
<!ATTLIST file verified CDATA #IMPLIED>
<!ATTLIST file proved CDATA #IMPLIED>
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment