From: Matthijs Kooijman Date: Tue, 1 Dec 2009 10:59:35 +0000 (+0100) Subject: Change the symbol used for casting to ▶. X-Git-Tag: final-thesis~129 X-Git-Url: https://git.stderr.nl/gitweb?p=matthijs%2Fmaster-project%2Freport.git;a=commitdiff_plain;h=ae83e3ad02886b6ca5e836b8f1d0fc3ae6321adb;hp=ae83e3ad02886b6ca5e836b8f1d0fc3ae6321adb Change the symbol used for casting to ▶. This removes the ambiguity between using :: for explicitly casting and for showing the type of an expression. ---