From 284b0fcff479711501445bba3a5891877fb2237b Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Patrick=20L=C3=BChne?= <patrick-github@luehne.de>
Date: Thu, 30 Mar 2017 00:54:20 +0200
Subject: [PATCH] Removed unnecessary default case.

---
 include/anthem/Term.h | 2 --
 1 file changed, 2 deletions(-)

diff --git a/include/anthem/Term.h b/include/anthem/Term.h
index 6caae0e..974a24d 100644
--- a/include/anthem/Term.h
+++ b/include/anthem/Term.h
@@ -76,8 +76,6 @@ struct TermTranslateVisitor
 
 				return std::move(function);
 			}
-			default:
-				throwErrorAtLocation(term.location, "symbol type not supported", context);
 		}
 
 		return std::experimental::nullopt;