The submodule structure of the so-called (Carter and Lusztig 131) weyl modules for groups of type A1has been announced by Carter and Cline [2]. In their proof they use graph-theoretical machinery, and although it has not been published, we have been told by R. Carter that it is somewhat lengthy. In the present paper, we give a shorter proof using the concept of the hyperalgebra of a Lie algebra.