1 files changed, 1 insertions, 1 deletions

diff --git a/src/shell.h b/src/shell.h
index a72d136..bb85ba2 100644
--- a/src/shell.h
+++ b/src/shell.h
@@ -8,6 +8,6 @@
 #define MAXNTOKENS          255
 
 void        exec_args(int c, char **v);
-void        launch();
+void        launch(bool prompt);
 
 #endif