@maximedenes @Lysxia
maximedenes and Lysxia Prepare for porting to lia 
This backward-compatible patch prepares QuickChick for
coq/coq#7878
Latest commit 786b35e Jul 26, 2018