diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2018-05-04 19:10:51 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-05-04 19:10:51 -0500 |
commit | b253f7aecefb7b4d48d5aed5ae0df19d10c6882b (patch) | |
tree | b396acd5589a8c8cf7b38633956b252ce9e3e836 | |
parent | 74ea6e8cb76028f4698f295fb6f6b1746df34f08 (diff) |
Remove special case for record selector printing. (#1875)
-rw-r--r-- | src/printer/cvc/cvc_printer.cpp | 8 |
1 files changed, 0 insertions, 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); } |