clarify ford slam error

This commit is contained in:
Anton Dyudin 2015-10-21 15:02:00 -07:00
parent f131e6edd6
commit 71a9658e6d

View File

@ -1430,8 +1430,8 @@
^- (bolt type)
%+ (clef %slit) (fine cof gat sam)
|= [cof=cafe gat=type sam=type]
%+ cool |.(>sam<)
%+ cool |.(>(~(peek ut gat) %free 6)<)
%+ cool |.(%.(%have ~(dunk ut sam)))
%+ cool |.(%.(%want ~(dunk ut (~(peek ut gat) %free 6))))
=+ top=(mule |.((slit gat sam)))
?- -.top
| (flaw cof p.top)