Simplify `is_mine_symb`

OCamlPro / alt-ergo

OCamlPro public development repository for Alt-Ergo

https://alt-ergo.ocamlpro.com/

Other

131 stars 33 forks source link

Simplify `is_mine_symb` #1130

Closed Halbaroth closed 3 months ago

Halbaroth commented 4 months ago

The argument ty of is_mine_symbol was only used by Enum and Adt theories because they shared the Construct symbol. As we merged these theories, we can remove this argument now.

This PR is rebased on #1094

bclement-ocp commented 3 months ago

@Halbaroth Please rebase

Halbaroth commented 3 months ago

ah we have the same request :)

Halbaroth commented 3 months ago

Done