Remove special case for record selector printing. (#1875)

diff --git a/src/printer/cvc/cvc_printer.cpp b/src/printer/cvc/cvc_printer.cpp
index 64ebda07fab79241a11d29b26c9fcb4dda4a99e3..cfc91eb181f507ac52e812ecc0873b27fe350fde 100644 (file)
--- 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);
         }