mirror of
https://github.com/ChaiScript/ChaiScript.git
synced 2026-02-06 17:59:56 +08:00
Delete now useless local copy
This commit is contained in:
parent
0fa0def112
commit
3e521d2952
@ -1142,7 +1142,6 @@ namespace chaiscript
|
|||||||
void dump_system() const
|
void dump_system() const
|
||||||
{
|
{
|
||||||
std::cout << "Registered Types: \n";
|
std::cout << "Registered Types: \n";
|
||||||
std::vector<std::pair<std::string, Type_Info> > types = get_types();
|
|
||||||
for (auto const &type: get_types())
|
for (auto const &type: get_types())
|
||||||
{
|
{
|
||||||
std::cout << type.first << ": " << type.second.bare_name() << '\n';
|
std::cout << type.first << ": " << type.second.bare_name() << '\n';
|
||||||
|
|||||||
Loading…
x
Reference in New Issue
Block a user