fixup! Renaming it to symbol

romainbrenguier · romainbrenguier · commit 2cc86b69a5fe · 2018-04-06T14:42:15.000+01:00
diff --git a/src/solvers/prop/prop_conv.cpp b/src/solvers/prop/prop_conv.cpp
@@ -509,5 +509,5 @@ exprt prop_conv_solvert::get(const exprt &expr) const
 void prop_conv_solvert::print_assignment(std::ostream &out) const
 {
   for(const auto &symbol : symbols)
-    out << symbol.first << " = " << prop.l_get(symbol.second) << "\n";
+    out << symbol.first << " = " << prop.l_get(symbol.second) << '\n';
 }

Original file line number	Diff line number	Diff line change
`@@ -509,5 +509,5 @@ exprt prop_conv_solvert::get(const exprt &expr) const`
`509`	`509`	`void prop_conv_solvert::print_assignment(std::ostream &out) const`
`510`	`510`	`{`
`511`	`511`	`for(const auto &symbol : symbols)`
`512`		`- out << symbol.first << " = " << prop.l_get(symbol.second) << "\n";`
	`512`	`+ out << symbol.first << " = " << prop.l_get(symbol.second) << '\n';`
`513`	`513`	`}`