doc-src/Ref/syntax.tex
changeset 3128 d01d4c0c4b44
parent 3108 335efc3f5632
child 3135 233aba197bf2
--- a/doc-src/Ref/syntax.tex	Wed May 07 16:26:28 1997 +0200
+++ b/doc-src/Ref/syntax.tex	Wed May 07 16:29:06 1997 +0200
@@ -813,7 +813,7 @@
       if 0 mem (loose_bnos B) then
         let val (x', B') = Syntax.variant_abs' (x, dummyT, B) in
           list_comb
-            (Const (q, dummyT) $ Syntax.mark_boundT (x', T) $ A $ B', ts)
+            (Const (q,dummyT) $ Syntax.mark_boundT (x', T) $ A $ B', ts)
         end
       else list_comb (Const (r, dummyT) $ A $ B, ts)
   | dependent_tr' _ _ = raise Match;