tiny update
authorAlexander Fedotov <soyaxhoya@gmail.com>
Mon, 11 Apr 2016 11:19:54 +0000 (12:19 +0100)
committerAlexander Fedotov <soyaxhoya@gmail.com>
Mon, 11 Apr 2016 11:19:54 +0000 (12:19 +0100)
commit5b3e2d9fac13d73c002c412ca39ae3aa4de1950a
treed34542021930386392f4f8e759f1af89b8bde8c2
parent0a8ebd63de0624a2fc002a78e092694893016d41
tiny update
modelchecker/coord.c
modelchecker/coord.h