# HG changeset patch
# User wenzelm
# Date 911308126 -3600
# Node ID 79109d4aab60308ca4073c120d48d1122b4c70da
# Parent  4b9f4e310891d69c44fd93c27ddc7171a5fe57d5
val spc: int -> T;

diff -r 4b9f4e310891 -r 79109d4aab60 src/Pure/Syntax/pretty.ML
--- a/src/Pure/Syntax/pretty.ML	Tue Nov 17 14:08:12 1998 +0100
+++ b/src/Pure/Syntax/pretty.ML	Tue Nov 17 14:08:46 1998 +0100
@@ -29,6 +29,7 @@
   val str: string -> T
   val strlen: string -> int -> T
   val sym: string -> T
+  val spc: int -> T
   val brk: int -> T
   val fbrk: T
   val blk: int * T list -> T
@@ -150,6 +151,8 @@
 fun strlen s len = String (s, len);
 fun sym s = String (s, Symbol.size s);
 
+fun spc n = str (repstring " " n);
+
 fun brk wd = Break (false, wd);
 val fbrk = Break (true, 0);