diff options
author | Damien Doligez <damien.doligez-inria.fr> | 2002-05-16 15:22:14 +0000 |
---|---|---|
committer | Damien Doligez <damien.doligez-inria.fr> | 2002-05-16 15:22:14 +0000 |
commit | c3a7cc05b5d48de2262b7f70f8371161117aadad (patch) | |
tree | 8b99bdb659c6f09c368f2757bc967fa0aa282072 /tools | |
parent | a23932825725511f095478a554ad8d1ab44d0c9f (diff) | |
download | ocaml-c3a7cc05b5d48de2262b7f70f8371161117aadad.tar.gz |
syntaxe
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4821 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'tools')
-rw-r--r-- | tools/ocamlmktop.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/ocamlmktop.ml b/tools/ocamlmktop.ml index 9d56e2735f..91179c4e9c 100644 --- a/tools/ocamlmktop.ml +++ b/tools/ocamlmktop.ml @@ -15,5 +15,5 @@ let _ = let args = String.concat " " - (List.map Filename.quote (List.tl (Array.to_list Sys.argv)) in + (List.map Filename.quote (List.tl (Array.to_list Sys.argv))) in exit(Sys.command("ocamlc -linkall toplevellib.cma " ^ args ^ " topstart.cmo")) |