let mark_history () = let m = the_model () in if m.model_updated then ( m.model_history <- succ m.model_history ; m.model_updated <- false )