Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
remove the else clause that should never be reached in 5d98a94013, as it is reached...
authorAugustin Degomme <augustin.degomme@unibas.ch>
Mon, 29 Aug 2016 08:24:01 +0000 (10:24 +0200)
committerAugustin Degomme <augustin.degomme@unibas.ch>
Mon, 29 Aug 2016 08:24:08 +0000 (10:24 +0200)
commit6d1966b91c415718f2e16486ec92925f698321da
tree8a2d138154c8af0e192e6df7ceab11ab5732a493
parentcc9460b0958168a1f9adec8208d190bf128ce6cc
remove the else clause that should never be reached in 5d98a94013, as it is reached on winbuntu, and breaks privatization, which works without the clause.
src/xbt/memory_map.cpp