Skip to content

Commit

Permalink
bug in FF extension (yices_sum_component) to Yices API
Browse files Browse the repository at this point in the history
  • Loading branch information
Karthik Nukala committed Sep 10, 2024
1 parent 55321b7 commit 1af326b
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions src/api/yices_api.c
Original file line number Diff line number Diff line change
Expand Up @@ -7256,8 +7256,8 @@ EXPORTED int32_t yices_sum_component(term_t t, int32_t i, mpq_t coeff, term_t *t

int32_t _o_yices_sum_component(term_t t, int32_t i, mpq_t coeff, term_t *term) {
if (! check_good_term(__yices_globals.manager, t) ||
! check_constructor(__yices_globals.terms, t, YICES_ARITH_SUM) ||
! check_constructor(__yices_globals.terms, t, YICES_ARITH_FF_SUM) ||
!(check_constructor(__yices_globals.terms, t, YICES_ARITH_SUM) ||
check_constructor(__yices_globals.terms, t, YICES_ARITH_FF_SUM)) ||
! check_child_idx(__yices_globals.terms, t, i)) {
return -1;
}
Expand Down

0 comments on commit 1af326b

Please sign in to comment.