From c100a18b37c7de58585540f2bb70fbf409fbfdef Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sat, 19 Dec 2020 17:34:54 -0800
Subject: [PATCH] use ReleaseVersion macro

---
 scripts/nightly.yaml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/nightly.yaml b/scripts/nightly.yaml
index f77c1707e..90dc87d51 100644
--- a/scripts/nightly.yaml
+++ b/scripts/nightly.yaml
@@ -1,5 +1,5 @@
 variables:
-  z3Version: '4.9.10'
+  ReleaseVersion: '4.8.10'
 
 jobs: