> With a modified standard.iso (which adds my mkinit2 isomorphism), I get > the following effect: If the standard mkinit isomorphism is above > mkinit2, mkinit2 is ignored. If mkinit2 is above mkinit, mkinit is ignored. > Is there some limitation which causes the second isomorphism with the > same left-hand side to be ignored?
Do you actually want mkinit in this case? It seems like an easy solution for this specific case would be to disable mkinit. julia _______________________________________________ Cocci mailing list [email protected] http://lists.diku.dk/mailman/listinfo/cocci (Web access from inside DIKUs LAN only)
