diff options
Diffstat (limited to 'html-test/ref/Bug335.html')
-rw-r--r-- | html-test/ref/Bug335.html | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/html-test/ref/Bug335.html b/html-test/ref/Bug335.html index a80566e1..6f3d3820 100644 --- a/html-test/ref/Bug335.html +++ b/html-test/ref/Bug335.html @@ -66,7 +66,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Bug335.html");}; ><div class="doc" ><h3 id="control.ch:f0" class="caption collapser" onclick="toggleSection('ch:f0')" >ExF:</h3 - ><div id="section.ch:f0" class="show" + ><div id="section.ch:f0" class="hide" ><p >abc</p ></div @@ -80,7 +80,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Bug335.html");}; ><div class="doc" ><h3 id="control.ch:g0" class="caption collapser" onclick="toggleSection('ch:g0')" >ExG:</h3 - ><div id="section.ch:g0" class="show" + ><div id="section.ch:g0" class="hide" ><pre class="screen" ><code class="prompt" >>>> </code @@ -118,7 +118,7 @@ window.onload = function () {pageLoad();setSynopsis("mini_Bug335.html");}; ><p >Produced by <a href="" >Haddock</a - > version 2.15.1</p + > version 2.16.0</p ></div ></body ></html |