Ticket #153 (closed defect)
doc build problem
| Reported by: | mflatt | Owned by: | cce |
|---|---|---|---|
| Priority: | major | Milestone: | |
| Component: | cce/dracula.plt | Keywords: | |
| Cc: | Version: | (8 1) | |
| Racket Version: | 4.1.3.4 |
Description
refereces/acl2/arithmetic.scrbl has
@defform[(ifix [x t]) t]
which doesn't work, because the second `t' is treated as an
expression. I think the `t' needs to be removed; maybe it's a
leftover from changing defproc' to defform'?
Change History
Note: See
TracTickets for help on using
tickets.
