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

correct invariant in extgnbdu

parent 50f037dc