gui send a non-existing node it to eval - Githubissues

ggrov / tinker

Graph based proof strategy language

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

6 stars 0 forks source link

gui send a non-existing node it to eval #33

Closed lyhlbyl closed 9 years ago

lyhlbyl commented 9 years ago

gui will send a not existing goalnode, when

in the previous step, user select a goal node to eval
the goal node consumed by a tactic (no resulting goals)
user select eval next with specify a goal node

plebras commented 9 years ago

Should be fixed