diff --git a/src/main.rs b/src/main.rs
index edf9dd5..e023f8b 100644
--- a/src/main.rs
+++ b/src/main.rs
@@ -17,7 +17,7 @@ enum Command
 		specification_paths: Vec<std::path::PathBuf>,
 
 		/// Proof direction (forward, backward, both)
-		#[structopt(long, default_value = "forward")]
+		#[structopt(long, default_value = "both")]
 		proof_direction: anthem::problem::ProofDirection,
 
 		/// Do not simplify translated program