cec7716 Rebuild for coq 8.5.

Authored and Committed by jjames 8 years ago
1 file changed. 11 lines added. 6 lines removed.
    Rebuild for coq 8.5.
    
        
file modified
+11 -6