88f977 Add fix for Coq build issue:

Authored and Committed by rjones 6 years ago
    Add fix for Coq build issue:
    
      http://caml.inria.fr/mantis/view.php?id=6507
    
        
file modified
+6 -1