Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] Remove useless braces
authorGabriel Corona <gabriel.corona@loria.fr>
Thu, 3 Mar 2016 17:58:46 +0000 (18:58 +0100)
committerGabriel Corona <gabriel.corona@loria.fr>
Mon, 7 Mar 2016 08:48:18 +0000 (09:48 +0100)
commit269363f1bc63093972eb06e0537ca5f22ab8a53d
tree56f5798bf6bfddaf3d81073b9b12869e52a20ea4
parent9b00b25919fb4fe7311031c78a13e7ae2055df70
[mc] Remove useless braces
15 files changed:
src/mc/ModelChecker.cpp
src/mc/PageStore.cpp
src/mc/Process.cpp
src/mc/RegionSnapshot.cpp
src/mc/mc_global.cpp
src/mc/mc_ignore.cpp
src/mc/mc_liveness.cpp
src/mc/mc_memory.cpp
src/mc/mc_mmu.h
src/mc/mc_protocol.cpp
src/mc/mc_request.cpp
src/mc/mc_safety.cpp
src/mc/mc_smx.cpp
src/mc/mc_snapshot.cpp
src/mc/mc_state.cpp