void edit_env_rep::local_update (hashmap<string,tree>& old_patch, hashmap<string,tree>& change) { old_patch->pre_patch (back, env); old_patch->post_patch (change, env); change= invert (back, env); }