6a39aa1 Get rid of some uses of implicit removal of optional arguments.

Authored and Committed by Alain Frisch 10 years ago
    Get rid of some uses of implicit removal of optional arguments.
    
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14496 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    
        
file modified
+1 -1