Printing constant symbols correctly.

This commit is contained in:
2016-11-23 04:57:51 +01:00
parent be91498384
commit b7c661bddc

View File

@@ -46,7 +46,7 @@ struct TermPrintVisitor
{ {
if (function.arguments.empty()) if (function.arguments.empty())
{ {
std::cout << "[f " << function.name << "]"; std::cout << function.name;
return; return;
} }