Closed ejgallego closed 2 months ago
This fixes a SerAPI piercing bug for Ltac2 (sadly creating a segfault)
cc: @afdw
This fixes a SerAPI piercing bug for Ltac2 (sadly creating a segfault)
cc: @afdw