| Index: src/include/minsfi.h
|
| diff --git a/src/include/minsfi.h b/src/include/minsfi.h
|
| index a57280d762464ea8f8185af483addb84234476a4..de5479e3a8e6c302c7855d252a1b62c204a20674 100644
|
| --- a/src/include/minsfi.h
|
| +++ b/src/include/minsfi.h
|
| @@ -21,7 +21,7 @@ bool MinsfiInitializeSandbox(void);
|
| * returned by the sandbox. Returns EXIT_FAILURE if sandbox cannot be invoked,
|
| * e.g. because it has not been initialized.
|
| */
|
| -int MinsfiInvokeSandbox(void);
|
| +int MinsfiInvokeSandbox(int argc, char **argv);
|
|
|
| /*
|
| * Destroys the MinSFI address subspace if there is one. Returns FALSE if
|
|
|