emptying file for redoing