From 3f4cc7a07ddd91a8e11e578482fc5fbd89cfe8e6 Mon Sep 17 00:00:00 2001
From: Matthias Hochsteger <matthias.hochsteger@tuwien.ac.at>
Date: Mon, 12 Aug 2019 14:19:16 +0200
Subject: [PATCH] Use correct range type in FlatArray

---
 libsrc/core/array.hpp | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/libsrc/core/array.hpp b/libsrc/core/array.hpp
index 06a8dc40..b069baf0 100644
--- a/libsrc/core/array.hpp
+++ b/libsrc/core/array.hpp
@@ -404,6 +404,8 @@ namespace ngcore
     /// the data
     T * __restrict data;
   public:
+    typedef T value_type;
+    typedef IndexType index_type;
     using BaseArrayObject<FlatArray>::ILLEGAL_POSITION;
 
     /// initialize array 
@@ -540,7 +542,7 @@ namespace ngcore
     }
 
     /// takes range starting from position start of end-start elements
-    NETGEN_INLINE const FlatArray<T> operator[] (IntRange range) const
+    NETGEN_INLINE const FlatArray<T> operator[] (T_Range<IndexType> range) const
     {
       return FlatArray<T> (range.Size(), data+range.First());
     }