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.
This commit is contained in:
parent
907ba16bfa
commit
8620138069
1 changed files with 2 additions and 3 deletions
|
|
@ -1,5 +1,6 @@
|
||||||
|
// -*- coding: utf-8 -*-
|
||||||
// Copyright (C) 2006 Laboratoire d'Informatique de Paris 6 (LIP6),
|
// 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.
|
// et Marie Curie.
|
||||||
//
|
//
|
||||||
// This file is part of Spot, a model checking library.
|
// This file is part of Spot, a model checking library.
|
||||||
|
|
@ -20,8 +21,6 @@
|
||||||
// 02111-1307, USA.
|
// 02111-1307, USA.
|
||||||
|
|
||||||
#include "memusage.hh"
|
#include "memusage.hh"
|
||||||
#include <sys/time.h>
|
|
||||||
#include <sys/resource.h>
|
|
||||||
#include <cstdio>
|
#include <cstdio>
|
||||||
|
|
||||||
namespace spot
|
namespace spot
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue