From b7c661bddc3ab66eeef882b52a96282a293db975 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Patrick=20L=C3=BChne?= <patrick-github@luehne.de>
Date: Wed, 23 Nov 2016 04:57:51 +0100
Subject: [PATCH] Printing constant symbols correctly.

---
 include/anthem/Body.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/include/anthem/Body.h b/include/anthem/Body.h
index 558f52a..9f77ad2 100644
--- a/include/anthem/Body.h
+++ b/include/anthem/Body.h
@@ -46,7 +46,7 @@ struct TermPrintVisitor
 	{
 		if (function.arguments.empty())
 		{
-			std::cout << "[f " << function.name << "]";
+			std::cout << function.name;
 			return;
 		}