From 32bc8ff9bc28c466ae3efab654ff45b02cef6028 Mon Sep 17 00:00:00 2001
From: Vlad Vergu <v.vergu@gmail.com>
Date: Tue, 13 Jan 2015 16:36:23 +0100
Subject: [PATCH] Rename pp-aterm to io-pp-aterm-helper to avoid conflicting
 with new definition of pp-aterm imported from the NaBL utils

---
 .../aterm/lib/stratego/aterm/PrettyPrint.str         | 12 ++++++++++--
 1 file changed, 10 insertions(+), 2 deletions(-)

diff --git a/strategoxt/stratego-libraries/aterm/lib/stratego/aterm/PrettyPrint.str b/strategoxt/stratego-libraries/aterm/lib/stratego/aterm/PrettyPrint.str
index 15d6d5dac..bdf11657a 100644
--- a/strategoxt/stratego-libraries/aterm/lib/stratego/aterm/PrettyPrint.str
+++ b/strategoxt/stratego-libraries/aterm/lib/stratego/aterm/PrettyPrint.str
@@ -11,10 +11,10 @@ strategies
       max-term-size-option + max-depth-option
     , system-usage
     , system-about
-    , pp-aterm 
+    , io-pp-aterm-helper 
     )
 
-  pp-aterm =
+  io-pp-aterm-helper =
     ?(<read-from-stream>, fout)
     ; if get-max-depth-config => depth then
         at-depth(!depth, !"...")
@@ -61,7 +61,15 @@ strategies
     <set-config> ("--max-depth", <id>)
 
 strategies
+
+  pp-aterm =
+    pp-aterm-box
+    ; box2text-string(|80)
   
+  pp-aterm-box(|maxtermsize) =
+    pp-aterm-box(|maxtermsize)
+    ; box2text-string(|80)
+ 
   pp-aterm-stream(|stream) =
     pp-aterm-stream(|8, stream)