- changed status to resolved
Calculating definitions
Issue #120
resolved
Bug in calculatedefintions: the file in attatchment will have an empty "optimizeset". This is because calculatedefinitions assigns values to colorof, which should clearly not be the case.
I guess this has something to do with the unnesting...
Comments (1)
-
- Log in to comment
fixes
#120: DefaultTheoryVisitor never visited the head of rules.→ b3bab83a7e91