From 7c6a2298b7b74ead7e6cb7e16b44719e62618e95 Mon Sep 17 00:00:00 2001 From: Grégoire Duchêne Date: Thu, 2 Oct 2014 19:30:38 +0200 Subject: Removed useless parentheses --- src/Tamasheq.ml | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) (limited to 'src') diff --git a/src/Tamasheq.ml b/src/Tamasheq.ml index 22f9d8f..1287f65 100644 --- a/src/Tamasheq.ml +++ b/src/Tamasheq.ml @@ -105,12 +105,12 @@ let load_mls filenames outdir = let () = let args = [ - "-denv", Unit (fun () -> denv := not (!denv)), " Print the environment"; - "-dlam", Unit (fun () -> denv := not (!dlam)), " Print the Lambda AST"; - "-h" , String (fun s -> Queue.add s hooks) , " Run "; - "-o" , String (fun s -> outdir := s) , " Output files in "; - "-t" , Unit (fun s -> test := not (!test)), " Always exit successfully"; - "--" , Rest (fun s -> Queue.add s argsk) , " (undocumented)"; + "-denv", Unit (fun () -> denv := not !denv), " Print the environment"; + "-dlam", Unit (fun () -> denv := not !dlam), " Print the Lambda AST"; + "-h" , String (fun s -> Queue.add s hooks), " Run "; + "-o" , String (fun s -> outdir := s) , " Output files in "; + "-t" , Unit (fun s -> test := not !test), " Always exit successfully"; + "--" , Rest (fun s -> Queue.add s argsk), " (undocumented)"; ] in let anon_arg s = -- cgit v1.2.3-70-g09d2