From f4452a0348f31b0d10b987e856a7b195fe7f1aed Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Thu, 26 Sep 2024 21:34:55 +0100 Subject: [PATCH] pypi publish Signed-off-by: Nikolaj Bjorner --- scripts/release.yml | 2 +- src/ast/ast.cpp | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/scripts/release.yml b/scripts/release.yml index 50ac4e31d..349c8d6ce 100644 --- a/scripts/release.yml +++ b/scripts/release.yml @@ -602,7 +602,7 @@ stages: # Enable on release: - job: PyPIPublish - condition: eq(1,0) + condition: eq(1,1) displayName: "Publish to PyPI" pool: vmImage: "ubuntu-latest" diff --git a/src/ast/ast.cpp b/src/ast/ast.cpp index 5194154f0..426a933ad 100644 --- a/src/ast/ast.cpp +++ b/src/ast/ast.cpp @@ -58,7 +58,7 @@ parameter::parameter(parameter const& other) : m_val(other.m_val) { } void parameter::init_eh(ast_manager & m) { - if (is_ast()) { + if (is_ast()) { x m.inc_ref(get_ast()); } }