[pp] Move terminal-specific tagging to the toplevel.

Previously, tags were associated to terminal styles, which doesn't make
sense on terminal-free pretty printing scenarios.

This commit moves tag interpretation to the toplevel terminal handling
module `Topfmt`.

1 files changed, 0 insertions, 1 deletions

diff --git a/lib/pp.ml b/lib/pp.ml
index 53c1fb4c3..7b21f9bbd 100644
--- a/lib/pp.ml
+++ b/lib/pp.ml
@@ -288,4 +288,3 @@ let prvect_with_sep sep elem v = prvecti_with_sep sep (fun _ -> elem) v
 let prvect elem v = prvect_with_sep mt elem v
 
 let surround p = hov 1 (str"(" ++ p ++ str")")
-