From e26344efd7d47e7d3698f35efca72a484564bf63 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Wed, 31 Jan 2024 15:27:54 -0800
Subject: [PATCH] update nightly

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 scripts/nightly.yaml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/nightly.yaml b/scripts/nightly.yaml
index 8f637f7a1..e0f0daae5 100644
--- a/scripts/nightly.yaml
+++ b/scripts/nightly.yaml
@@ -97,7 +97,7 @@ stages:
           cd dist
           cmake \
                       -DCMAKE_BUILD_TYPE=RelWithDebInfo\
-		      -DCMAKE_CXX_COMPILER=aarch64-linux-gnu-g++\
+                      -DCMAKE_CXX_COMPILER=aarch64-linux-gnu-g++\
                       -DZ3_BUILD_DOTNET_BINDINGS=ON\
                       -DZ3_INSTALL_DOTNET_BINDINGS=ON \
                       -DZ3_BUILD_JAVA_BINDINGS=ON\