Skip to content

Commit 8364cc2

Browse files
committed
Minor correction
1 parent 48518dc commit 8364cc2

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

src/reach/avr_word_netlist.cpp

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1915,7 +1915,7 @@ void OpInst::propagate_uf() {
19151915
if (NumInst::as(lhs) && NumInst::as(lhs)->get_num() == 0) {
19161916
// 0 % rhs = 0
19171917
t_simple = NumInst::create(0, get_size(), get_sort());
1918-
} else if (NumInst::as(rhs) && NumInst::as(lhs)->get_num() == 1) {
1918+
} else if (NumInst::as(rhs) && NumInst::as(rhs)->get_num() == 1) {
19191919
// lhs % 1 = 0
19201920
t_simple = NumInst::create(0, get_size(), get_sort());
19211921
} else if (lhs == rhs) {

0 commit comments

Comments
 (0)