diff options
Diffstat (limited to 'tests/output/Bug6.html.ref')
| -rw-r--r-- | tests/output/Bug6.html.ref | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tests/output/Bug6.html.ref b/tests/output/Bug6.html.ref index b6fe7224..5edfc397 100644 --- a/tests/output/Bug6.html.ref +++ b/tests/output/Bug6.html.ref @@ -8,6 +8,8 @@ ><LINK HREF="haddock.css" REL="stylesheet" TYPE="text/css" ><SCRIPT SRC="haddock-util.js" TYPE="text/javascript" ></SCRIPT +><SCRIPT TYPE="text/javascript" +>window.onload = function () {setSynopsis("mini_Bug6.html")};</SCRIPT ></HEAD ><BODY ><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0" |