transitions fix
authorAlexander Fedotov <soyaxhoya@gmail.com>
Tue, 19 Apr 2016 18:59:10 +0000 (20:59 +0200)
committerAlexander Fedotov <soyaxhoya@gmail.com>
Tue, 19 Apr 2016 18:59:10 +0000 (20:59 +0200)
commit8054a7885e6e03b2998bf5bfd3b415816cd61cf9
tree16ebea3c0d9e1b872c6c88a62492c7107d8ee9d0
parenteb450f1c327ba2556ffd0f70be0278090c767a57
transitions fix
modelchecker/coord.c