From: Tim King <taking@cs.nyu.edu>
Date: Tue, 6 Feb 2018 07:47:26 +0000 (-0800)
Subject: Using getOperator() directly instead of using -1. CID 1172262. (#1559)
X-Git-Tag: cvc5-1.0.0~5329
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=3dba04eea024ebcddefe457702c65de3aba42e03;p=cvc5.git

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