Drop the ArrayDeque spec workaround, OpenJML 21.0.29 has the fix - #188

Drop the ArrayDeque spec workaround, OpenJML 21.0.29 has the fix#188

bernardladenthin merged 1 commit into

mainbernardladenthin/streambuffer:mainfrom

chore/openjml-21.0.29-arraydequebernardladenthin/streambuffer:chore/openjml-21.0.29-arraydequeCopy head branch name to clipboard