Using getOperator() directly instead of using -1. CID 1172262. (#1559)

diff --git a/src/expr/type_node.h b/src/expr/type_node.h
index 72d00a5a250fa71edc3fbc07c983407f3a324681..14c4222a6df6351ed29a6eac8db039529283dfaf 100644 (file)
--- 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());
   }
 
   /**