another type error revealed by record extension checking, in Est.

This commit is contained in:
aarne
2014-02-01 12:30:40 +00:00
parent c727f7c85c
commit 4404e9c899

View File

@@ -16,7 +16,7 @@ concrete ConjunctionEst of Conjunction =
-- ConjAP conj ss = conjunctDistrTable2 Bool NForm conj ss ** {
ConjAP conj ss = conjunctDistrTableAdj conj ss ** {
infl = True ;
infl = ss.s2.infl ; ---- was: True, which is of wrong type. AR 1/2/2014
lock_AP = <>
} ;