Fix the way simplifiable node are colored when alignment is in the game
authorQuentin Colombet <quentin.colombet@ens-lyon.fr>
Mon, 12 Dec 2011 11:29:43 +0000 (12:29 +0100)
committerMatthias Braun <matthias.braun@kit.edu>
Thu, 1 Mar 2012 15:02:00 +0000 (16:02 +0100)
commit7b753172312c75de5bc5e4562b3847a7d33b2606
treeaceb54d5b238217e728deb42c64d5f9ae5ccf68b
parent2b16763645a3f6c2c0dcf8f74e8f419ceecb12ff
Fix the way simplifiable node are colored when alignment is in the game
ir/be/becopyilp.c