search

UniFormal / MMT

The MMT Language and System
https://uniformal.github.io/
Other
68 stars 22 forks source link

Match error on devel after commit e8e46944e3f097c87be83b80321422b9bda83163 #423

Closed ColinRothgang closed 5 years ago

ColinRothgang commented 5 years ago

@florian-rabe Your commit e8e4694 produces a match error in the function flattenDefinition (in the ElaborationBasedSimplifier), since DerivedDeclarations no longer match theories.

ColinRothgang commented 5 years ago

Seems to fix the issue, thanks.