fix dif:by 151 error

This commit is contained in:
Anton Dyudin 2016-10-06 14:38:38 -07:00
parent 602843c9ac
commit 94a70e8d2f

View File

@ -1179,7 +1179,7 @@
|- ^+ a |- ^+ a
?~ b ?~ b
a a
=+ c=(bif n.b) =+ c=(bif p.n.b q.n.b)
?> ?=(^ c) ?> ?=(^ c)
=+ d=$(a l.c, b l.b) =+ d=$(a l.c, b l.b)
=+ e=$(a r.c, b r.b) =+ e=$(a r.c, b r.b)