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

Module: 

Author: CM Wintersteiger

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

#ifndef CPROVER_TEMPDIR_H
#define CPROVER_TEMPDIR_H

#include <string>

std::string get_temporary_directory(const std::string &name_template);

#endif