1 files changed, 10 insertions, 0 deletions
diff --git a/src/printdocvisitor.h b/src/printdocvisitor.h
index 55a55ad..7d7c102 100644
--- a/src/printdocvisitor.h
+++ b/src/printdocvisitor.h
@@ -592,6 +592,16 @@ class PrintDocVisitor : public DocVisitor
       indent_post();
       printf("</copy>\n");
     }
+    void visitPre(DocText *)
+    {
+      indent_pre();
+      printf("<text>\n");
+    }
+    void visitPost(DocText *)
+    {
+      indent_post();
+      printf("</text>\n");
+    }
 
   private:
     // helper functions