From 12688a7bbe6ed4e001098ace7b4a14b3ccd77f16 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Patrick=20L=C3=BChne?= <patrick@luehne.de>
Date: Fri, 29 May 2020 19:52:30 +0200
Subject: [PATCH] Make bidirectional proof the default

---
 src/main.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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