From 663c59c470aea6b564e14925b45bcfc8fe684943 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Patrick=20L=C3=BChne?= Date: Thu, 1 Jun 2017 03:43:18 +0200 Subject: [PATCH] Removed unused function. --- include/anthem/Utils.h | 13 ------------- 1 file changed, 13 deletions(-) diff --git a/include/anthem/Utils.h b/include/anthem/Utils.h index 439cfd8..660597b 100644 --- a/include/anthem/Utils.h +++ b/include/anthem/Utils.h @@ -17,19 +17,6 @@ namespace anthem // //////////////////////////////////////////////////////////////////////////////////////////////////// -inline bool isPrefix(const char *prefix, const char *string) -{ - const auto prefixLength = std::strlen(prefix); - const auto stringLength = std::strlen(string); - - if (stringLength < prefixLength) - return false; - - return std::strncmp(prefix, string, prefixLength) == 0; -} - -//////////////////////////////////////////////////////////////////////////////////////////////////// - constexpr const auto HeadVariablePrefix = "V"; constexpr const auto BodyVariablePrefix = "X"; constexpr const auto UserVariablePrefix = "U";