Merge pull request #743 from kini/io-lemmas

Fix XDOC errors
acl2 · Jun 20, 2017 · 6a48763 · 6a48763
2 parents 6e75a38 + d16ef84
commit 6a48763
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/books/std/io/open-channels.lisp b/books/std/io/open-channels.lisp
@@ -103,7 +103,7 @@
 ;;;; Open input channels stay open
 ;;;;;;;;;;;;;;;;
 
-  "<p>First are lemmas about @(tsee open-input-channel-p1).</p>"
+  "<p>First are lemmas about @({open-input-channel-p1}).</p>"
 
   (defthm open-input-channel-p1-under-open-input-channel
     ;; Desired version:
@@ -182,7 +182,7 @@
 ;;;; Open output channels stay open
 ;;;;;;;;;;;;;;;;
 
-  "<p>Next are lemmas about @(tsee open-output-channel-p1).</p>"
+  "<p>Next are lemmas about @({open-output-channel-p1}).</p>"
 
   (defthm open-output-channel-p1-under-open-input-channel
     (implies (open-output-channel-p1 channel type state)