fix width issue

svn: r15413
2009-07-09 05:23:18 +00:00 · 2009-07-09 05:23:18 +00:00 · 83c356ff21
commit 83c356ff21
parent 4239d22ded
1 changed files with 2 additions and 1 deletions
--- a/collects/scribblings/scribble/preprocessor.scrbl
+++ b/collects/scribblings/scribble/preprocessor.scrbl
@ -775,7 +775,8 @@ already beyond it).
               @list{var x = blah();}
               @thunk['blah]{
                 @ifdef["BLEHOS"
-                   @list{@disable-prefix{#}include <bleh.h>
+                   @list{@disable-prefix{#}@;
+                           include <bleh.h>
                         bleh();}
                   @list{error("no bleh");}]
               }]