diff options
| -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 = |