Updating documentation for defrstobj

acl2 · Oct 11, 2017 · 2e511a4 · 2e511a4
1 parent 7c6210f
commit 2e511a4
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/books/centaur/defrstobj/defrstobj.lisp b/books/centaur/defrstobj/defrstobj.lisp
@@ -104,7 +104,7 @@ recognizer function for a typed record; see @(see def-typed-record).</li>
       :inline t)
 })
 
-<p>See also @('centaur/rstobj/defrstobj-tests.lisp') for several more examples,
+<p>See also @('centaur/defrstobj/basic-tests.lisp') for several more examples,
 including examples of how to use @('def-typed-record').</p>