From e0b8b1c854794afd960242b5571d1c6af63854c4 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Patrick=20L=C3=BChne?= Date: Mon, 11 May 2020 03:46:20 +0200 Subject: [PATCH] Minor formatting --- src/commands/verify_program.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/commands/verify_program.rs b/src/commands/verify_program.rs index 1f35cc9..76d994d 100644 --- a/src/commands/verify_program.rs +++ b/src/commands/verify_program.rs @@ -1,7 +1,7 @@ pub fn run

(program_path: P, specification_path: P, proof_direction: crate::problem::ProofDirection) where - P: AsRef + P: AsRef, { //let context = crate::translate::verify_properties::Context::new(); let mut problem = crate::Problem::new();