CBMC
Loading...
Searching...
No Matches
empty_namespace.cpp File Reference

Global instance of empty_namespacet. More...

#include "empty_namespace.h"
+ Include dependency graph for empty_namespace.cpp:

Go to the source code of this file.

Variables

const empty_namespacet empty_namespace
 

Detailed Description

Global instance of empty_namespacet.

Definition in file empty_namespace.cpp.

Variable Documentation

◆ empty_namespace

const empty_namespacet empty_namespace

Definition at line 14 of file empty_namespace.cpp.