From 7a36dd1e29c6d0160f949d5f805044768fb549d1 Mon Sep 17 00:00:00 2001
From: ajreynol <andrew.j.reynolds@gmail.com>
Date: Tue, 16 Jun 2015 18:06:27 +0200
Subject: Avoid completion for large finite types.  Fix bug for --fmf-fun.

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

(limited to 'src/theory/rep_set.h')

diff --git a/src/theory/rep_set.h b/src/theory/rep_set.h
index 4aab230e6..f1114edcf 100644
--- a/src/theory/rep_set.h
+++ b/src/theory/rep_set.h
@@ -48,7 +48,7 @@ public:
   /** returns index in d_type_reps for node n */
   int getIndexFor( Node n ) const;
   /** complete all values */
-  void complete( TypeNode t );
+  bool complete( TypeNode t );
   /** debug print */
   void toStream(std::ostream& out);
 };/* class RepSet */
-- 
cgit v1.2.3