Problem building Boudol et al. from TOPLAS
Merge pull request #66 from ricci/master

Problem building Boudol et al. from TOPLAS