From: Andrew Reynolds <andrew.j.reynolds@gmail.com>
Date: Sat, 5 May 2018 00:10:51 +0000 (-0500)
Subject: Remove special case for record selector printing. (#1875)
X-Git-Tag: cvc5-1.0.0~5084
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=b253f7aecefb7b4d48d5aed5ae0df19d10c6882b;p=cvc5.git

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 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);
         }