From 3f0afe952682dc810e7c0fc9a5be92c360d3c19e Mon Sep 17 00:00:00 2001
From: dehnert <dehnert@cs.rwth-aachen.de>
Date: Fri, 10 Mar 2017 11:47:44 +0100
Subject: [PATCH] allowing underscore and dots as identifier symbols in exprtk

---
 resources/3rdparty/exprtk/exprtk.hpp | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/resources/3rdparty/exprtk/exprtk.hpp b/resources/3rdparty/exprtk/exprtk.hpp
index 04f37d9a1..079ee1b6f 100755
--- a/resources/3rdparty/exprtk/exprtk.hpp
+++ b/resources/3rdparty/exprtk/exprtk.hpp
@@ -97,7 +97,11 @@ namespace exprtk
         inline bool is_letter(const char_t c)
         {
             return (('a' <= c) && (c <= 'z')) ||
-            (('A' <= c) && (c <= 'Z')) ;
+            (('A' <= c) && (c <= 'Z'))
+#ifdef MODIFICATION
+            || ('.' == c) || ('_' == c)
+#endif
+            ;
         }
         
         inline bool is_digit(const char_t c)