From b253f7aecefb7b4d48d5aed5ae0df19d10c6882b Mon Sep 17 00:00:00 2001
From: Andrew Reynolds <andrew.j.reynolds@gmail.com>
Date: Fri, 4 May 2018 19:10:51 -0500
Subject: [PATCH] Remove special case for record selector printing. (#1875)

---
 src/printer/cvc/cvc_printer.cpp | 8 --------
 1 file changed, 8 deletions(-)

diff --git a/src/printer/cvc/cvc_printer.cpp b/src/printer/cvc/cvc_printer.cpp
index 64ebda07f..cfc91eb18 100644
--- a/src/printer/cvc/cvc_printer.cpp
+++ b/src/printer/cvc/cvc_printer.cpp
@@ -404,14 +404,6 @@ void CvcPrinter::toStream(
           int sindex = dt[0].getSelectorIndexInternal( opn.toExpr() );
           Assert( sindex>=0 );
           out << '.' << sindex;
-        }else if( t.isRecord() ){
-          toStream(out, n[0], depth, types, true);
-          const Record& rec = t.getRecord();
-          const Datatype& dt = ((DatatypeType)t.toType()).getDatatype();
-          int sindex = dt[0].getSelectorIndexInternal( opn.toExpr() );
-          Assert( sindex>=0 );
-          std::pair<std::string, Type> fld = rec[sindex];
-          out << '.' << fld.first;
         }else{
           toStream(op, opn, depth, types, false);
         }
-- 
2.30.2