Hitting the cancel button after calling ML (actually m3) in the interactive mode does not cancel the process immediately.
I have moticed this on RODIN 0.8.2 on a PPC mac
Farhad
Logged In: YES user_id=1041912 Originator: NO
This has been fixed by adding a wrapper around the Logic Solver process.
Log in to post a comment.
Logged In: YES
user_id=1041912
Originator: NO
This has been fixed by adding a wrapper around the Logic Solver process.