tree e68c4168782eb60799e1d960379f4703de7535ce
parent 3221721b3432b7ca7f155fabde74e13cc58597ab
author Søren Gjesse <sgjesse@google.com> 1700138504 +0100
committer Søren Gjesse <sgjesse@google.com> 1700140907 +0000

Add dump info flag not print information on dump

Alos add a method for checking if desugared library is
used in the dump.

Change-Id: Ifcf0bd076dabbff077b03c6e7a6022cc93759b18