1 files changed, 2 insertions, 0 deletions
diff --git a/lib/pp.ml b/lib/pp.ml
index 7b21f9bbd..80c599274 100644
--- a/lib/pp.ml
+++ b/lib/pp.ml
@@ -77,6 +77,8 @@ let app s1 s2 = match s1, s2 with
   | s, Ppcmd_empty -> s
   | s1, s2         -> Ppcmd_glue [s1; s2]
 
+let seq s = Ppcmd_glue s
+
 let (++) = app
 
 (* formatting commands *)