Merge pull request #675 from kini/fty-typo

typo
acl2 · Dec 1, 2016 · c725336 · c725336
2 parents 0c45828 + 064ee98
commit c725336
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/books/centaur/fty/top.lisp b/books/centaur/fty/top.lisp
@@ -993,7 +993,7 @@ when you print them it is still pretty easy to tell what the fields are.</dd>
 <dd>Example: a tagless product with 5 fields could be laid out as follows:
 
 @({
-    `((,a . ,b) . (,c . (,d . e)))                   ;; :tree
+    `((,a . ,b) . (,c . (,d . ,e)))                  ;; :tree
     `(,a ,b ,c ,d ,e)                                ;; :list
     `((a . ,a) (b . ,b) (c . ,c) (d . ,d) (e . ,e))  ;; :alist
 })</dd>