Minor

aman-goel · aman-goel · commit 2c867dc3b3cc · 2024-08-31T09:32:33.000Z
diff --git a/src/reach/avr_word_netlist.cpp b/src/reach/avr_word_netlist.cpp
@@ -2217,9 +2217,9 @@ void OpInst::propagate_uf() {
       ;
   }
 
-  if (this != this->get_simple()) {
-	cout << "uf_prop: " << *this << " -> " << *(this->t_simple) << endl;
-  }
+ //  if (this != this->get_simple()) {
+	// cout << "uf_prop: " << *this << " -> " << *(this->t_simple) << endl;
+ //  }
 }
 
 bool OpInst::is_heavy_uf() {

Original file line number	Diff line number	Diff line change
`@@ -2217,9 +2217,9 @@ void OpInst::propagate_uf() {`
`2217`	`2217`	`;`
`2218`	`2218`	`}`
`2219`	`2219`
`2220`		`- if (this != this->get_simple()) {`
`2221`		`- cout << "uf_prop: " << this << " -> " << (this->t_simple) << endl;`
`2222`		`- }`
	`2220`	`+ // if (this != this->get_simple()) {`
	`2221`	`+ // cout << "uf_prop: " << this << " -> " << (this->t_simple) << endl;`
	`2222`	`+ // }`
`2223`	`2223`	`}`
`2224`	`2224`
`2225`	`2225`	`bool OpInst::is_heavy_uf() {`