Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : remove unused variable
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Mon, 12 Aug 2013 17:44:58 +0000 (19:44 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Mon, 12 Aug 2013 17:44:58 +0000 (19:44 +0200)
commit3afa2377814512e11a13e85442813555d205fa0a
treedd6069f44fb2364e3e44656a090b26974a164e94
parente3baa7c683af4c164d88294d662a1c4b073ac309
model-checker : remove unused variable
src/mc/mc_global.c