When the hiring of a thing is terminated before the time originally agreed upon, the hirer must pay the due proportion of the hire for such use as he has actually made of the thing, unless such use is merely nominal, and of no benefit to him.
(Enacted 1872.)