Fix typo

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Display the input term in the output of the Check command. It is useful to see the fully elaborated term.

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Display the input term in the output of the Check command. It is useful to see the fully elaborated term.