tree 87a6a27b15da4527aeeab67b5dc39f81125f4646
parent 538760522eb084de85c4b082c8f56688689fb93f
author Clément Béra <clementbera@google.com> 1636707469 +0000
committer Clément Béra <clementbera@google.com> 1636707469 +0000

Fix desugared library flag

Change-Id: I859b80fa8da330584f874dcefcdeb4f409d2bdbb