diff --git a/doc/lutin-man/lutin-man.pdf b/doc/lutin-man/lutin-man.pdf index 958ddbca92aa11e161d12843da7d942c35b81d65..f75a1ebbc8be97f5f1dd2b68ae6795f68839a529 100644 Binary files a/doc/lutin-man/lutin-man.pdf and b/doc/lutin-man/lutin-man.pdf differ diff --git a/lurette-nocaml/src/lurette.ml b/lurette-nocaml/src/lurette.ml index a01de145e4f56e33baa01f1e5905e8f23433accf..760ee47d52cf377a12155940bf8d45922f8affac 100644 --- a/lurette-nocaml/src/lurette.ml +++ b/lurette-nocaml/src/lurette.ml @@ -1,4 +1,4 @@ -(* Time-stamp: *) +(* Time-stamp: *) (* Mimick the behavior of 'rdbg -lurette', but without the dependency on ocaml *) open Event @@ -57,7 +57,6 @@ let (gen_reactive_program : string -> RdbgArg.reactive_program) = | "lutin" -> LutinRun.make (Array.of_list args) | "lv6" | "lus2lic" -> if - List.mem "-exec" args || List.mem "-2c-exec" args || List.mem "--to-c-execute" args then