blob: 805a9f905eb7370cc3d574426f5f15fbdec26c6c (
plain)
1
2
3
4
5
6
7
8
9
10
|
//error: manager `multimanDupMgrsMgr' appears multiple times
include protocol multimanDupMgrsMgr;
protocol multimanDupMgrs {
manager multimanDupMgrsMgr or multimanDupMgrsMgr;
child:
async __delete__();
};
|