Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Remove useless typedefs.
authorArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Wed, 1 Nov 2017 08:27:18 +0000 (09:27 +0100)
committerArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Wed, 1 Nov 2017 08:27:18 +0000 (09:27 +0100)
commit03e114f11978dd546b729f043b0d5ffd85c31aa5
tree730c772b1cf32a8904276dbc0a5b885fcab3b3b6
parent2cc3aadb5b3bba8ec9ae0175a8864acfcbf32e19
Remove useless typedefs.
src/mc/ModelChecker.cpp
src/mc/mc_checkpoint.cpp
src/mc/remote/Channel.hpp
src/mc/remote/Client.cpp
src/mc/remote/Client.hpp
src/mc/remote/RemoteClient.cpp
src/mc/remote/mc_protocol.h