Skip to content

Instantly share code, notes, and snippets.

@butaji
Created February 9, 2011 23:28
Show Gist options
  • Save butaji/819565 to your computer and use it in GitHub Desktop.
Save butaji/819565 to your computer and use it in GitHub Desktop.
public class PrettyPrinterWithNeq : PrettyPrinter
{
public override string PrettyPrint(Expr that)
{
var n = that as Neg;
if (n != null) return "-(" + PrettyPrint(n.operand) + ")";
return base.PrettyPrint(that);
}
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment