diff options
Diffstat (limited to 'hypsrc-test/ref/src/Types.html')
| -rw-r--r-- | hypsrc-test/ref/src/Types.html | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/hypsrc-test/ref/src/Types.html b/hypsrc-test/ref/src/Types.html index 1258b8c1..22012ad1 100644 --- a/hypsrc-test/ref/src/Types.html +++ b/hypsrc-test/ref/src/Types.html @@ -254,7 +254,7 @@ ></span ><span > </span - ><span id="local-6989586621679043815" + ><span id="" ><span class="annot" ><a href="#" ><span class="hs-identifier hs-type" @@ -264,7 +264,7 @@ ></span ><span > </span - ><span id="local-6989586621679043814" + ><span id="" ><span class="annot" ><a href="#" ><span class="hs-identifier hs-type" @@ -444,7 +444,7 @@ ></span ><span > </span - ><span id="local-6989586621679043811" + ><span id="" ><span class="annot" ><a href="#" ><span class="hs-identifier hs-type" @@ -454,7 +454,7 @@ ></span ><span > </span - ><span id="local-6989586621679043810" + ><span id="" ><span class="annot" ><a href="#" ><span class="hs-identifier hs-type" |