Skip to content

fix: Do not call [X.make] on non-subterms for bv2nat#954

Merged
bclement-ocp merged 1 commit intoOCamlPro:nextfrom bclement-ocp:bclement/fix-bv2nat-crashNov 22, 2023
+265-3

Commits

Commits on Nov 20, 2023