- changed status to resolved
Derivesorts for overloaded symbols crashes
Issue #526
resolved
No description provided.
Comments (2)
-
-
Added extra safety check for overloaded predicates in definitions.
This fixes issue
#526→ <<cset c2cd6085e81d>>
- Log in to comment
Added extra safety check for overloaded predicates in definitions.
This fixes issue
#526→ <<cset ed54ae774a30>>