/*******************************************************************\

Module:

Author: Daniel Kroening, kroening@kroening.com

\*******************************************************************/


#ifndef CPROVER_UTIL_MEMORY_INFO_H
#define CPROVER_UTIL_MEMORY_INFO_H

#include <iosfwd>

void memory_info(std::ostream &);

#endif // CPROVER_UTIL_MEMORY_INFO_H
