79e46fb Rebuild for why3 0.87.2.

Authored and Committed by jjames 7 years ago
1 file changed. 9 lines added. 2 lines removed.
    Rebuild for why3 0.87.2.
    
        
file modified
+9 -2