diff options
Diffstat (limited to 'otherlibs/unix/execve.c')
| -rw-r--r-- | otherlibs/unix/execve.c | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/otherlibs/unix/execve.c b/otherlibs/unix/execve.c index 0f63aaef9..4d29fb55b 100644 --- a/otherlibs/unix/execve.c +++ b/otherlibs/unix/execve.c @@ -32,4 +32,3 @@ CAMLprim value unix_execve(value path, value args, value env) return Val_unit; /* never reached, but suppress warnings */ /* from smart compilers */ } - |