From 09a2f1a01f5cf807112bc31d5f79f5f73e026b03 Mon Sep 17 00:00:00 2001
From: Andrew Reynolds <andrew.j.reynolds@gmail.com>
Date: Tue, 19 Nov 2013 16:40:23 -0600
Subject: Add fair strategy for finite model finding multiple sorts
 --uf-ss-fair.

---
 src/printer/cvc/cvc_printer.cpp | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/printer/cvc')

diff --git a/src/printer/cvc/cvc_printer.cpp b/src/printer/cvc/cvc_printer.cpp
index e0375e6e1..7667acdd0 100644
--- a/src/printer/cvc/cvc_printer.cpp
+++ b/src/printer/cvc/cvc_printer.cpp
@@ -270,6 +270,7 @@ void CvcPrinter::toStream(std::ostream& out, TNode n, int depth, bool types, boo
       toStream(op, n.getOperator(), depth, types, false);
       break;
     case kind::CARDINALITY_CONSTRAINT:
+    case kind::COMBINED_CARDINALITY_CONSTRAINT:
       out << "CARDINALITY_CONSTRAINT";
       break;
 
-- 
cgit v1.2.3