fixed a typo that caused illegal applications of TyFunDecomp
fixed a typo that caused illegal applications of TyFunDecomp

lex-lex/Leo-III,lex-lex/Leo-III,leoprover/Leo-III,leoprover/Leo-III,lex-lex/Leo-III,leoprover/Leo-III