Minor correction

aman-goel · Aug 26, 2024 · 8364cc2 · 8364cc2
1 parent 48518dc
commit 8364cc2
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/reach/avr_word_netlist.cpp b/src/reach/avr_word_netlist.cpp
@@ -1915,7 +1915,7 @@ void OpInst::propagate_uf() {
   			if (NumInst::as(lhs) && NumInst::as(lhs)->get_num() == 0) {
   				// 0 % rhs = 0
   				t_simple = NumInst::create(0, get_size(), get_sort());
-  			} else if (NumInst::as(rhs) && NumInst::as(lhs)->get_num() == 1) {
+  			} else if (NumInst::as(rhs) && NumInst::as(rhs)->get_num() == 1) {
   				// lhs % 1 = 0
   				t_simple = NumInst::create(0, get_size(), get_sort());
   			} else if (lhs == rhs) {