1 files changed, 2 insertions, 2 deletions

diff --git a/tapsets/API-user-int-warn.html b/tapsets/API-user-int-warn.html
index 46096762..c1a083b1 100644
--- a/tapsets/API-user-int-warn.html
+++ b/tapsets/API-user-int-warn.html
@@ -2,9 +2,9 @@
  Retrieves an int value stored in user space
  </p></div><div class="refsynopsisdiv" title="Synopsis"><h2>Synopsis</h2><pre class="programlisting">
  user_int_warn:long(addr:long)
-</pre></div><div class="refsect1" title="Arguments"><a name="idp11560560"></a><h2>Arguments</h2><div class="variablelist"><dl><dt><span class="term"><em class="parameter"><code>addr</code></em></span></dt><dd><p>
+</pre></div><div class="refsect1" title="Arguments"><a name="idp11564192"></a><h2>Arguments</h2><div class="variablelist"><dl><dt><span class="term"><em class="parameter"><code>addr</code></em></span></dt><dd><p>
  the user space address to retrieve the int from
- </p></dd></dl></div></div><div class="refsect1" title="Description"><a name="idp11563792"></a><h2>Description</h2><p>
+ </p></dd></dl></div></div><div class="refsect1" title="Description"><a name="idp11567424"></a><h2>Description</h2><p>
  Returns the int value from a given user space address.
  Returns zero when user space and warns (but does not abort) about the
  failure.