From: Jean Privat Date: Mon, 23 Mar 2015 06:28:26 +0000 (+0700) Subject: sepcomp: use the new `POSetGroupColorer` to color properties X-Git-Tag: v0.7.3~2^2~2 X-Git-Url: http://nitlanguage.org?hp=f95a42c4c2a1d5fbaa863b036ce6c0bc661d539d sepcomp: use the new `POSetGroupColorer` to color properties The diff is ugly. basically it is a complete change of the code Signed-off-by: Jean Privat ---