e249316 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@14497 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    
        
file modified
+15 -12