From: Martin Quinson <martin.quinson@loria.fr>
Date: Sun, 13 Sep 2015 12:49:40 +0000 (+0200)
Subject: remove an unused header that is not found on windows
X-Git-Tag: v3_12~229
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/19b7e2b88638dbb4ed3af78283e0bd761cbd41ae?hp=19b7e2b88638dbb4ed3af78283e0bd761cbd41ae

remove an unused header that is not found on windows
---