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

Module: Nondeterministic initialization of certain global scope
        variables

Author: Daniel Kroening, Michael Tautschnig

Date: November 2011

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

#ifndef CPROVER_NONDET_STATIC_H
#define CPROVER_NONDET_STATIC_H

class goto_functionst;
class namespacet;

void nondet_static(
  const namespacet &ns,
  goto_functionst &goto_functions);

#endif
