From: Marion Guthmuller <marion.guthmuller@loria.fr>
Date: Thu, 24 May 2012 08:34:51 +0000 (+0200)
Subject: model-checker : fclose forgotten in get_memory_map_addr
X-Git-Tag: v3_8~688
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/26297efc616fc667196ae1e721faeaff35f715c6?hp=26297efc616fc667196ae1e721faeaff35f715c6

model-checker : fclose forgotten in get_memory_map_addr
---