Bug#1074116: mshr: FTBFS with CGAL 6.0

[Francesco Ballarin]

Source: mshr
Followup-For: Bug #1074116
X-Debbugs-Cc: francesco.ballarin at unicatt.it, reichel at debian.org
Control: tags -1 ftbfs

> CGAL 6.0 has been uploaded to unstable. You might want to apply the diff in 
> experimental to the unstable version, too.

Thanks Joachim for the reminder. This week we will upload mshr to unstable as well.

Cheers,
Francesco