X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2FmatitaEngine.ml;h=144250fb9b55e634312523693f15f1c309d8add5;hb=b6a8600c3c4381809f1ab8d3e28628e17d9c3d3d;hp=01f070e2be3a0d5237e297f60147173be28025f8;hpb=f8392f63fab2a0b901f83cbf8c23e7b3c1dbd6ce;p=helm.git

diff --git a/matita/matita/matitaEngine.ml b/matita/matita/matitaEngine.ml
index 01f070e2b..144250fb9 100644
--- a/matita/matita/matitaEngine.ml
+++ b/matita/matita/matitaEngine.ml
@@ -78,8 +78,8 @@ let print_string =
    match right_justify with
       None -> ""
     | Some (ss,len_ss) ->
-       assert (80 - !indent - len_ss - String.length s >= 0);
-       String.make (80 - !indent - len_ss - String.length s) ' ' ^ ss
+       let i = 80 - !indent - len_ss - String.length s in
+       if i > 0 then String.make i ' ' ^ ss else ss
   in
    assert (!indent >=0);
    print_string (String.make !indent ' ' ^ s ^ ss) in