Update diff_let.py