From 3dba04eea024ebcddefe457702c65de3aba42e03 Mon Sep 17 00:00:00 2001
From: Tim King <taking@cs.nyu.edu>
Date: Mon, 5 Feb 2018 23:47:26 -0800
Subject: [PATCH] Using getOperator() directly instead of using -1. CID
 1172262. (#1559)

---
 src/expr/type_node.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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());
   }
 
   /**
-- 
2.30.2