Minor

aman-goel · Aug 31, 2024 · 2c867dc · 2c867dc
1 parent 4225df4
commit 2c867dc
Showing 1 changed file with 3 additions and 3 deletions.
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() {