call it UbuntuBuild

Z3Prover · Mar 19, 2022 · b5b9c85 · b5b9c85
1 parent dfa6544
commit b5b9c85
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/scripts/release.yml b/scripts/release.yml
@@ -174,7 +174,7 @@ stages:
     - task: DownloadPipelineArtifact@2
       displayName: 'Download Ubuntu Build'
       inputs:
-        artifact: 'Ubuntu'
+        artifact: 'UbuntuBuild'
         path: $(Agent.TempDirectory)\package
     - task: DownloadPipelineArtifact@2
       displayName: 'Download macOS Build'

diff --git a/src/api/python/z3/z3.py b/src/api/python/z3/z3.py
@@ -11387,7 +11387,7 @@ def propagate(self, e, ids, eqs=[]):
         _ids, num_fixed = _to_ast_array(ids)
         num_eqs = len(eqs)
         _lhs, _num_lhs = _to_ast_array([x for x, y in eqs])
-        _rhs, _num_lhs = _to_ast_array([y for x, y in eqs])
+        _rhs, _num_rhs = _to_ast_array([y for x, y in eqs])
         Z3_solver_propagate_consequence(e.ctx.ref(), ctypes.c_void_p(
             self.cb), num_fixed, _ids, num_eqs, _lhs, _rhs, e.ast)