Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Changed arguments list of GraphMLWriterLxml.dump() (#6261)
Changed arguments list of GraphMLWriterLxml.dump to be consistent with the type of GraphMLWriter.dump. (Otherwise, if we have some GraphMLWriterLxml A, and some user calls A.dump(stream) (maybe in the context of a function which takes a GraphMLWriter) then it will call the method of the parent class rather than that of the child class.) This also makes static analysis tools happier, which reduces the amount of things to look at when debugging.
- Loading branch information