verifypn

  1. Bug #1928770
  2. Comment #0

Comment 0 for bug 1928770

Revision history for this message
Nikolaj Jensen Ulrik (waefwerf) wrote :

```void PetriNet::toXML(std::ostream& out)
    {
        out << "<?xml version=\"1.0\"?>\n"
            << "<pnml xmlns=\"http://www.pnml.org/version-2009/grammar/pnml\">\n"
            << "<net id=\"ClientsAndServers-PT-N0500P0\" type=\"http://www.pnml.org/version-2009/grammar/ptnet\">\n";
        out << "<page id=\"page0\">\n"
            << "<name>\n"
            << "<text>DefaultPage</text>"
            << "</name>";
```

Seems like a silly error, making reduced nets less self-contained and readable.