tree 951684eb778614910048c0e6c8d435d3dafea57d
parent f64dfd1d07d5f542836ce4a10af863c792711cf4
author Rico Wind <ricow@google.com> 1565852245 +0200
committer Rico Wind <ricow@google.com> 1565852245 +0200

Change trigger.py with --desugar to not throw assertion after it is done

Change-Id: If73e11d673ed97383e51d749d0d287c3ab5a64bb