Delete interval_function.py~