From 7f09980d2bed5effd511d5f690d968f3cc048363 Mon Sep 17 00:00:00 2001
From: PaulMeng <baolmeng@gmail.com>
Date: Fri, 15 Apr 2016 11:40:40 -0500
Subject: change transitive closure operator name to TCLOUSRE

---
 src/parser/cvc/Cvc.g | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src/parser/cvc')

diff --git a/src/parser/cvc/Cvc.g b/src/parser/cvc/Cvc.g
index 27182cb6d..967503074 100644
--- a/src/parser/cvc/Cvc.g
+++ b/src/parser/cvc/Cvc.g
@@ -208,7 +208,7 @@ tokens {
   JOIN_TOK = 'JOIN';
   TRANSPOSE_TOK = 'TRANSPOSE';
   PRODUCT_TOK = 'PRODUCT';
-  TRANSCLOSURE_TOK = 'TRANSCLOSURE';
+  TRANSCLOSURE_TOK = 'TCLOSURE';
 
   // Strings
 
@@ -1649,7 +1649,7 @@ bvNegTerm[CVC4::Expr& f]
   | TRANSPOSE_TOK bvNegTerm[f]
     { f = MK_EXPR(CVC4::kind::TRANSPOSE, f); } 
   | TRANSCLOSURE_TOK bvNegTerm[f]
-    { f = MK_EXPR(CVC4::kind::TRANSCLOSURE, f); }
+    { f = MK_EXPR(CVC4::kind::TCLOSURE, f); }
   | TUPLE_TOK LPAREN bvNegTerm[f] RPAREN
     { std::vector<Type> types;
       std::vector<Expr> args;
-- 
cgit v1.2.3