From ce51d14a9e4315a3fc8f77c090974f81e1076360 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Patrick=20L=C3=BChne?= <patrick@luehne.de>
Date: Mon, 18 May 2020 01:29:30 +0200
Subject: [PATCH] Minor formatting

---
 src/problem.rs | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/src/problem.rs b/src/problem.rs
index 7a21a8a..9221709 100644
--- a/src/problem.rs
+++ b/src/problem.rs
@@ -475,8 +475,7 @@ impl Problem
 		let symbolic_constants = function_declarations.iter().filter(
 			|x| !self.input_constant_declaration_domains.borrow().contains_key(*x));
 
-		let mut last_symbolic_constant: Option<std::rc::Rc<foliage::FunctionDeclaration>> =
-			None;
+		let mut last_symbolic_constant: Option<std::rc::Rc<foliage::FunctionDeclaration>> = None;
 
 		// TODO: put in axioms section
 		for (i, symbolic_constant) in symbolic_constants.enumerate()