> 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?
The problem is that the isomorphism is declared as being toplevel. Once one isomorphism has been applied the pattern is not at top level any more, because it is under an ( | ). But this seems too constraining, so I will try to change it. julia _______________________________________________ Cocci mailing list [email protected] http://lists.diku.dk/mailman/listinfo/cocci (Web access from inside DIKUs LAN only)
