From 4d00fbeb97757b842d4ed0539cb9002245ee93a9 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Patrick=20L=C3=BChne?= <patrick@luehne.de>
Date: Wed, 13 May 2020 01:40:44 +0200
Subject: [PATCH] Minor formatting

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

diff --git a/src/translate/verify_properties.rs b/src/translate/verify_properties.rs
index 16b47fd..772dac0 100644
--- a/src/translate/verify_properties.rs
+++ b/src/translate/verify_properties.rs
@@ -64,7 +64,7 @@ impl<'p> Translator<'p>
 
 	pub fn translate<P>(&mut self, program_path: P) -> Result<(), crate::Error>
 	where
-		P: AsRef<std::path::Path>
+		P: AsRef<std::path::Path>,
 	{
 		// Read input program
 		let program = std::fs::read_to_string(program_path.as_ref())