Skip to content

Fixed compilation on Coq 8.17 and 8.18 #7

Fixed compilation on Coq 8.17 and 8.18

Fixed compilation on Coq 8.17 and 8.18 #7