be92c8e fix msvc64 port by removing unused open Misc (untested, esp. on other Windows ports)

Authored and Committed by Damien Doligez 10 years ago
    fix msvc64 port by removing unused open Misc (untested, esp. on other Windows ports)
    
    git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14501 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
    
        
file modified
+0 -1