From 75db964b0c56f1a3b04b77c33d226c4d9cd0ca54 Mon Sep 17 00:00:00 2001
From: ajreynol <andrew.j.reynolds@gmail.com>
Date: Wed, 12 Apr 2017 16:47:12 -0500
Subject: Add nullary operator metakind.

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

(limited to 'src/expr/expr_manager_template.h')

diff --git a/src/expr/expr_manager_template.h b/src/expr/expr_manager_template.h
index ed9247e5e..9e962d970 100644
--- a/src/expr/expr_manager_template.h
+++ b/src/expr/expr_manager_template.h
@@ -549,7 +549,7 @@ public:
   /**
    * Create unique variable of type 
    */
-  Expr mkUniqueVar( Type type, Kind k);
+  Expr mkNullaryOperator( Type type, Kind k);
 
   /** Get a reference to the statistics registry for this ExprManager */
   Statistics getStatistics() const throw();
-- 
cgit v1.2.3