diff options
| author | Grégoire Duchêne <gduchene@awhk.org> | 2014-10-02 19:30:38 +0200 |
|---|---|---|
| committer | Grégoire Duchêne <gduchene@awhk.org> | 2014-10-02 19:30:38 +0200 |
| commit | 7c6a2298b7b74ead7e6cb7e16b44719e62618e95 (patch) | |
| tree | 1c14996d5eedfc7f87e1c21205a652083bd59a19 | |
| parent | 4e8d63ace93a06cb416618714408ae1c41223812 (diff) | |
Removed useless parentheses
| -rw-r--r-- | src/Tamasheq.ml | 12 |
1 files changed, 6 insertions, 6 deletions
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) , "<hook> Run <hook>"; - "-o" , String (fun s -> outdir := s) , "<dir> Output files in <dir>"; - "-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), "<hook> Run <hook>"; + "-o" , String (fun s -> outdir := s) , "<dir> Output files in <dir>"; + "-t" , Unit (fun s -> test := not !test), " Always exit successfully"; + "--" , Rest (fun s -> Queue.add s argsk), " (undocumented)"; ] in let anon_arg s = |
