Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : remove unnecessary comment
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Fri, 9 Nov 2012 17:45:00 +0000 (18:45 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Fri, 9 Nov 2012 17:46:06 +0000 (18:46 +0100)
commitc91b9b29ed7c9e5981376a4c21e197abff9c9870
treefc0942f02fbd2030e43eddf51a0c6c955143e4db
parent26db99febdde24a0d879d7576d4ccf39c1a6d237
model-checker : remove unnecessary comment
src/mc/mc_global.c