From acd486f0f25f78b4999b4f641bccada948d37c81 Mon Sep 17 00:00:00 2001
From: dehnert <dehnert@cs.rwth-aachen.de>
Date: Tue, 21 Mar 2017 20:30:02 +0100
Subject: [PATCH] reverted a change in ExprTk: dots are no longer recognized as
 letters

---
 resources/3rdparty/exprtk/exprtk.hpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/resources/3rdparty/exprtk/exprtk.hpp b/resources/3rdparty/exprtk/exprtk.hpp
index 079ee1b6f..a86c45509 100755
--- a/resources/3rdparty/exprtk/exprtk.hpp
+++ b/resources/3rdparty/exprtk/exprtk.hpp
@@ -99,7 +99,7 @@ namespace exprtk
             return (('a' <= c) && (c <= 'z')) ||
             (('A' <= c) && (c <= 'Z'))
 #ifdef MODIFICATION
-            || ('.' == c) || ('_' == c)
+            || ('_' == c)
 #endif
             ;
         }