Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Fix build with mc
authordegomme <augustin.degomme@unibas.ch>
Tue, 23 Feb 2016 11:48:00 +0000 (12:48 +0100)
committerdegomme <augustin.degomme@unibas.ch>
Tue, 23 Feb 2016 11:48:00 +0000 (12:48 +0100)
commit679aea4811f683bfa2820872cd147d31b53d0d7f
treeabdc5bd648309ee55e2229ed841b648f813373a5
parent901f09137597064bab9349e26b7d882181ee3bdd
Fix build with mc
src/mc/ModelChecker.cpp
src/mc/Process.cpp