diff --git a/cpdfcommand.ml b/cpdfcommand.ml index 8af495e..d115f02 100644 --- a/cpdfcommand.ml +++ b/cpdfcommand.ml @@ -4418,4 +4418,3 @@ let go_withargv argv = let go () = go_withargv Sys.argv -