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 |