From: Steinar H. Gunderson Date: Wed, 3 Dec 2014 23:07:22 +0000 (+0100) Subject: We do not need to prettyprint a move if we already have the pretty form. X-Git-Url: https://git.sesse.net/?p=remoteglot;a=commitdiff_plain;h=65aa4e3d31851a0b504f55ec9907b4fe4f9f8966;hp=65aa4e3d31851a0b504f55ec9907b4fe4f9f8966 We do not need to prettyprint a move if we already have the pretty form. ---