summaryrefslogtreecommitdiff
path: root/tools
diff options
context:
space:
mode:
authorDamien Doligez <damien.doligez-inria.fr>2002-05-16 15:22:14 +0000
committerDamien Doligez <damien.doligez-inria.fr>2002-05-16 15:22:14 +0000
commitc3a7cc05b5d48de2262b7f70f8371161117aadad (patch)
tree8b99bdb659c6f09c368f2757bc967fa0aa282072 /tools
parenta23932825725511f095478a554ad8d1ab44d0c9f (diff)
downloadocaml-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.ml2
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"))