diff options
Diffstat (limited to 'Build/source/utils/asymptote/newexp.cc')
-rw-r--r-- | Build/source/utils/asymptote/newexp.cc | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Build/source/utils/asymptote/newexp.cc b/Build/source/utils/asymptote/newexp.cc index 5b5aacca01e..8105a9d9295 100644 --- a/Build/source/utils/asymptote/newexp.cc +++ b/Build/source/utils/asymptote/newexp.cc @@ -30,6 +30,10 @@ void printFrame(frame *f) { } } +void newRecordExp::prettyprint(ostream &out, Int indent) { + prettyname(out, "newRecordExp", indent); +} + bool newRecordExp::encodeLevel(position pos, coenv &e, trans::tyEntry *ent) { record *r = dynamic_cast<record *>(ent->t); |