diff --git a/kani-driver/src/args/mod.rs b/kani-driver/src/args/mod.rs
index 382542b4fc2b..310105f75940 100644
--- a/kani-driver/src/args/mod.rs
+++ b/kani-driver/src/args/mod.rs
@@ -276,7 +276,7 @@ pub struct VerificationArgs {
     pub synthesize_loop_contracts: bool,
 
     //Harness Output into individual files
-    #[arg(long, hide_short_help = true, requires("enable_unstable"))]
+    #[arg(long, hide_short_help = true)]
     pub output_into_files: bool,
 
     /// Randomize the layout of structures. This option can help catching code that relies on