diff options
Diffstat (limited to 'html-test/ref/Bug8.html')
| -rw-r--r-- | html-test/ref/Bug8.html | 2 | 
1 files changed, 1 insertions, 1 deletions
| diff --git a/html-test/ref/Bug8.html b/html-test/ref/Bug8.html index 73890845..4d6fe69b 100644 --- a/html-test/ref/Bug8.html +++ b/html-test/ref/Bug8.html @@ -89,7 +89,7 @@  	><p class="src"  	  ><a id="v:-45--45--62-" class="def"  	    >(-->)</a -	    > :: p1 -> p2 -> <a href="#" title="Bug8" +	    > :: p -> p -> <a href="#" title="Bug8"  	    >Typ</a  	    > <span class="fixity"  	    >infix 9</span | 
