Legal contracts can be amended during their lifetimes through the agreement of the parties, or according to the doctrines of force majeure and hardship. When legal contracts are defined by a programming language, amendments are runtime adjustments of their behaviour and must be expressed by means of appropriate features. In this paper, we study the extension of Stipula, a formal language for legal contracts, with higher- order to enable the dynamic update of the code. We code and discuss two paradigmatic scenarios in higher-order Stipula and study its formal semantics.