diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2019-12-11 18:09:16 -0600 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-12-11 18:09:16 -0600 |
commit | d803e7fcf60f9bb847853fe6ccf7589b94b76922 (patch) | |
tree | bba13d186c71fb152df9ca6fb21820f28e812b04 /src/expr/node_manager.cpp | |
parent | 23eb6c0ab05b6607c14ee33b5c0101381aa0bc41 (diff) |
Activate node-level datatype API (#3540)
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; } |