/*******************************************************************\ Module: C++ Language Type Checking Author: Daniel Kroening, [email protected] \*******************************************************************/ /// \file /// C++ Language Type Checking #include "cpp_namespace_spec.h" #include void cpp_namespace_spect::output(std::ostream &out) const { out << " namespace: " << get_namespace() << '\n'; }