[wp] fix division driver for native alt-ergo
Showing
- src/plugins/qed/export_altergo.ml 2 additions, 2 deletionssrc/plugins/qed/export_altergo.ml
- src/plugins/wp/share/ergo/int.EuclideanDivision.mlw 0 additions, 5 deletionssrc/plugins/wp/share/ergo/int.EuclideanDivision.mlw
- src/plugins/wp/share/wp.driver 0 additions, 1 deletionsrc/plugins/wp/share/wp.driver
Loading
Please register or sign in to comment