patrick/anthem-rs
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Minor formatting

Browse Source
This commit is contained in:
Patrick Lühne 2020-05-18 01:29:30 +02:00
parent 58d89b4d07
commit ce51d14a9e
Signed by: patrick
GPG Key ID: 05F3611E97A70ABF
1 changed files with 1 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
src/problem.rs
View File

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