From ce159c7bf03e1c4ac39216e711fd553024961875 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Patrick=20L=C3=BChne?= Date: Tue, 23 May 2017 15:25:55 +0200 Subject: [PATCH] Added missing assertion. --- include/anthem/Utils.h | 1 + 1 file changed, 1 insertion(+) diff --git a/include/anthem/Utils.h b/include/anthem/Utils.h index 6f365d8..b7f64ca 100644 --- a/include/anthem/Utils.h +++ b/include/anthem/Utils.h @@ -75,6 +75,7 @@ inline bool isReservedVariableName(const char *variableName) assert(std::strlen(AuxiliaryBodyVariablePrefix) == std::strlen(AuxiliaryHeadVariablePrefix)); assert(std::strlen(AuxiliaryBodyVariablePrefix) == std::strlen(AnonymousVariablePrefix)); + assert(std::strlen(AuxiliaryBodyVariablePrefix) == std::strlen(UserVariablePrefix)); const auto prefixLength = std::strlen(AuxiliaryBodyVariablePrefix);