typo

levnach · levnach · commit 32e77d8214ce · 2025-04-18T18:24:50.000-07:00
Signed-off-by: Lev Nachmanson &lt;levnach@hotmail.com&gt;
diff --git a/src/math/lp/dioph_eq.cpp b/src/math/lp/dioph_eq.cpp
@@ -1646,7 +1646,7 @@ namespace lp {
         lia_move tighten_bounds_for_term_column(unsigned j) {
             // q is the queue of variables that can be substituted in term_to_tighten
             protected_queue q;
-            TRACE("dio", tout << "j:" << j << " , intitial term t: "; print_lar_term_L(lra.get_term(j), tout) << std::endl;
+            TRACE("dio", tout << "j:" << j << " , initial term t: "; print_lar_term_L(lra.get_term(j), tout) << std::endl;
                   for( const auto& p : lra.get_term(j).ext_coeffs()) {
                       lra.print_column_info(p.var(), tout);
                   }

Original file line number	Diff line number	Diff line change
`@@ -1646,7 +1646,7 @@ namespace lp {`
`1646`	`1646`	`lia_move tighten_bounds_for_term_column(unsigned j) {`
`1647`	`1647`	`// q is the queue of variables that can be substituted in term_to_tighten`
`1648`	`1648`	`protected_queue q;`
`1649`		`- TRACE("dio", tout << "j:" << j << " , intitial term t: "; print_lar_term_L(lra.get_term(j), tout) << std::endl;`
	`1649`	`+ TRACE("dio", tout << "j:" << j << " , initial term t: "; print_lar_term_L(lra.get_term(j), tout) << std::endl;`
`1650`	`1650`	`for( const auto& p : lra.get_term(j).ext_coeffs()) {`
`1651`	`1651`	`lra.print_column_info(p.var(), tout);`
`1652`	`1652`	`}`