view mx.sh @ 5867:d0913d4d96cc

Canonicalizer should not fill the worklist if an initial worklist is provided
author Gilles Duboscq <duboscq@ssw.jku.at>
date Fri, 20 Jul 2012 14:33:14 +0200
parents 9a4f210abb5e
children
line wrap: on
line source

mxtool/mx