diff options
Diffstat (limited to 'Build/source/utils/asymptote/absyn.cc')
| -rw-r--r-- | Build/source/utils/asymptote/absyn.cc | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Build/source/utils/asymptote/absyn.cc b/Build/source/utils/asymptote/absyn.cc index 8ff3148dc2a..0144977813d 100644 --- a/Build/source/utils/asymptote/absyn.cc +++ b/Build/source/utils/asymptote/absyn.cc @@ -22,7 +22,8 @@ void prettyindent(ostream &out, Int indent) { for (Int i = 0; i < indent; i++) out << " "; } -void prettyname(ostream &out, string name, Int indent) { +void prettyname(ostream &out, string name, Int indent, position pos) { + pos.print(out); prettyindent(out,indent); out << name << "\n"; } |