1 files changed, 2 insertions, 1 deletions
diff --git a/rts/RtsFlags.h b/rts/RtsFlags.h
index 73eb6688a6..b3627e0e48 100644
--- a/rts/RtsFlags.h
+++ b/rts/RtsFlags.h
@@ -17,7 +17,8 @@
 void initRtsFlagsDefaults (void);
 void setupRtsFlags        (int *argc, char *argv[],
                            RtsOptsEnabledEnum rtsOptsEnabled,
-                           const char *ghc_rts_opts);
+                           const char *ghc_rts_opts,
+                           HsBool is_hs_main);
 void setProgName          (char *argv[]);
 void freeRtsArgs          (void);