From 86201380699b242504bb291df784ac5093dd5b39 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Fri, 27 Apr 2012 12:26:14 +0200 Subject: [PATCH] memusage: drop two useless includes. * src/misc/memusage.cc: Do not include the unneeded sys/time.hh and sys/resource.h. Reported by Yann Thierry-Mieg. --- src/misc/memusage.cc | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/src/misc/memusage.cc b/src/misc/memusage.cc index ce897eb66..527f20a9d 100644 --- a/src/misc/memusage.cc +++ b/src/misc/memusage.cc @@ -1,5 +1,6 @@ +// -*- coding: utf-8 -*- // Copyright (C) 2006 Laboratoire d'Informatique de Paris 6 (LIP6), -// département Systèmes Répartis Coopératifs (SRC), Université Pierre +// département Systèmes Répartis Coopératifs (SRC), Université Pierre // et Marie Curie. // // This file is part of Spot, a model checking library. @@ -20,8 +21,6 @@ // 02111-1307, USA. #include "memusage.hh" -#include -#include #include namespace spot