From 1e55f733d0535d8be296fb7ee95787f5db7d50ca Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Patrick=20L=C3=BChne?= <patrick@luehne.de>
Date: Thu, 28 May 2020 05:01:17 +0200
Subject: [PATCH] Minor clean-up

---
 src/commands/verify_program.rs | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/commands/verify_program.rs b/src/commands/verify_program.rs
index cb8d3a9..58c320e 100644
--- a/src/commands/verify_program.rs
+++ b/src/commands/verify_program.rs
@@ -4,7 +4,6 @@ pub fn run<P>(program_path: P, specification_path: P,
 where
 	P: AsRef<std::path::Path>,
 {
-	//let context = crate::translate::verify_properties::Context::new();
 	let mut problem = crate::Problem::new(color_choice);
 
 	log::info!("reading specification “{}”", specification_path.as_ref().display());