Merge cfd3ecc into 36cee66

SRI-CSL · May 28, 2023 · 2e4b08c · 2e4b08c
2 parents 36cee66 + cfd3ecc
commit 2e4b08c
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/mcsat/uf/uf_plugin.c b/src/mcsat/uf/uf_plugin.c
@@ -891,10 +891,10 @@ void uf_plugin_build_model(plugin_t* plugin, model_t* model) {
 
   // Since we make functions when we see a new one, we also construct the last function
   if (app_terms.size > 0 && mappings.size > 0 && app_construct) {
-    type_t tau = get_function_application_type(terms, app_kind, app_f);
+    type_t tau = get_function_application_type(terms, prev_app_kind, prev_app_f);
     type_t range_tau = function_type_range(terms->types, tau);
     value_t f_value = vtbl_mk_function(vtbl, tau, mappings.size, mappings.data, vtbl_mk_default(terms->types, vtbl, range_tau));
-    switch (app_kind) {
+    switch (prev_app_kind) {
     case ARITH_RDIV:
       vtbl_set_zero_rdiv(vtbl, f_value);
       break;