diff options
Diffstat (limited to 'src/manager.ml')
| -rw-r--r-- | src/manager.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/manager.ml b/src/manager.ml index 2e856fd..1e6a0df 100644 --- a/src/manager.ml +++ b/src/manager.ml @@ -265,7 +265,7 @@ let () = dup2 m2p_p stdin; dup2 p2m_p stdout; let args = Array.of_list - ([!program] @ + ([!program; "-col"; string_of_int (i+1)] @ (if i = 0 then ["-org"] else []) @ (if !dbg_out then ["-dbg"] else [])) in execv !program args |