Removing break point changes the goaltype

ggrov / tinker

Graph based proof strategy language

http://ggrov.github.io/tinker/

6 stars 0 forks source link

Closed lyhlbyl closed 9 years ago

lyhlbyl commented 9 years ago

when removing a breakpoint, the goaltype of the edge become "any" instead of the original one