Commit 0b1a4556 authored by lengyelb's avatar lengyelb Committed by lengyelb
Browse files

add invariant to dnprefix

parent e90446af