Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : remove commentated declaration of function (doesn't exist anymore)
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Mon, 11 Feb 2013 08:14:31 +0000 (09:14 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Sat, 16 Mar 2013 17:30:54 +0000 (18:30 +0100)
commita689a5d482f27922e0e031c45f6ad6fd4eb98d99
tree677b8392d00ba7a332b9aee93f8d789669e9d729
parentb8169ac0d35610b827d6669a1263011e42a5e7b3
model-checker : remove commentated declaration of function (doesn't exist anymore)
src/mc/mc_private.h