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())