diff --git a/src/api/api_ast.cpp b/src/api/api_ast.cpp
index 8144c2baf..7ee95afc8 100644
--- a/src/api/api_ast.cpp
+++ b/src/api/api_ast.cpp
@@ -164,7 +164,7 @@ extern "C" {
             return;
         }
         recfun_replace replace(m);
-        p.set_definition(replace, pd, true, n, _vars.data(), abs_body);
+        p.set_definition(replace, pd, false, n, _vars.data(), abs_body);
         Z3_CATCH;
     }