__CPROVER_isinf heading

Daniel Kroening · Daniel Kroening · commit 0f08b5874f70 · 2017-05-12T09:03:05.000+01:00
diff --git a/doc/html-manual/api.shtml b/doc/html-manual/api.shtml
@@ -114,8 +114,8 @@ void __CPROVER_cover(_Bool condition);
 <p class="justified">
 </p>
 
-<h4>__CPROVER_isnan, __CPROVER_isfinite, __CPROVER_isfinite,
-__CPROVER_isfinite, __CPROVER_sign</h4>
+<h4>__CPROVER_isnan, __CPROVER_isfinite, __CPROVER_isinf,
+__CPROVER_isnormal, __CPROVER_sign</h4>
 
 <hr>
 <code>
