This commit is contained in:
Jay McCarthy 2010-06-24 15:21:51 -06:00
parent 33f5d90592
commit e752682879

View File

@ -612,7 +612,7 @@ This library provides facilities for pretty-printing Datalog source. It can be r
Formats a @racket[clause].
@examples[#:eval the-eval
((format-clause
(format-clause
(make-clause
#f (make-literal #f 'ancestor
(list (make-constant #f 'joseph)