Bridger Howell (2) [Avatar] Offline
#1
In the fourth row of table 4.2 there's a code snippet:
poincut pc(Secure sec): @this(annot);


I believe this should be
poincut pc(Secure sec): @this(sec);


Edit: in the seventh row, I found this also
poincut pc(Sensitive sens): @annotation(sec); 


Which should probably be
poincut pc(Sensitive sens): @annotation(sens);