sepcomp: use the new `POSetGroupColorer` to color properties
authorJean Privat <jean@pryen.org>
Mon, 23 Mar 2015 06:28:26 +0000 (13:28 +0700)
committerJean Privat <jean@pryen.org>
Mon, 23 Mar 2015 14:39:08 +0000 (21:39 +0700)
The diff is ugly. basically it is a complete change of the code

Signed-off-by: Jean Privat <jean@pryen.org>


No differences found