blob: 7e2a51a61aee2bd7e4e1590a88099fda6a7a5756 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
// it's an error to define two protocols in the same file
//error: only one protocol definition per file
protocol p1 {
child: async Msg();
};
protocol p2 {
child: async Msg();
};
|