|
CBMC
|
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 |
Global instance of empty_namespacet.
Definition in file empty_namespace.cpp.
| const empty_namespacet empty_namespace |
Definition at line 14 of file empty_namespace.cpp.