diff options
| author | Tim King <taking@cs.nyu.edu> | 2018-02-05 23:47:26 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-02-05 23:47:26 -0800 |
| commit | 3dba04eea024ebcddefe457702c65de3aba42e03 (patch) | |
| tree | c1cccdaa5cf17389b7848297446ee62eab2a61fb | |
| parent | 96138688bcb3aebbaa86d49471427ee4068b5994 (diff) | |
Using getOperator() directly instead of using -1. CID 1172262. (#1559)
| -rw-r--r-- | src/expr/type_node.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/expr/type_node.h b/src/expr/type_node.h index 72d00a5a2..14c4222a6 100644 --- a/src/expr/type_node.h +++ b/src/expr/type_node.h @@ -233,7 +233,7 @@ public: */ inline Node getOperator() const { Assert(getMetaKind() == kind::metakind::PARAMETERIZED); - return Node(d_nv->getChild(-1)); + return Node(d_nv->getOperator()); } /** |