Skip to content
Commit ee24573d authored by lengyelb's avatar lengyelb
Browse files

added invariant to dnprefix

parent 664a6d00