29a519b Rebuild for coq 8.7.1.

Authored and Committed by jjames 6 years ago
1 file changed. 9 lines added. 6 lines removed.
    Rebuild for coq 8.7.1.
    Compile with -unsafe-string until the code can be migrated.
    
        
file modified
+9 -6