diff options
Diffstat (limited to 'src/expr/node_manager.cpp')
| -rw-r--r-- | src/expr/node_manager.cpp | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/src/expr/node_manager.cpp b/src/expr/node_manager.cpp index 1142da429..0c3f1b4cb 100644 --- a/src/expr/node_manager.cpp +++ b/src/expr/node_manager.cpp @@ -262,12 +262,8 @@ const Datatype & NodeManager::getDatatypeForIndex( unsigned index ) const{ const DType& NodeManager::getDTypeForIndex(unsigned index) const { - // when the Node-level API is in place, this function will be replaced by a - // direct lookup into a d_ownedDTypes vector, similar to d_ownedDatatypes - // above. - Unreachable() << "NodeManager::getDTypeForIndex: DType is not available in " - "the current implementation."; const Datatype& d = getDatatypeForIndex(index); + // return its internal representation return *d.d_internal; } |