From 1155a29c6e2b42b975bf6ea64de1703464829c2a Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sun, 2 Jun 2019 17:26:49 -0700
Subject: [PATCH] spelling

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

diff --git a/scripts/mk_util.py b/scripts/mk_util.py
index 7466158e6..d9f86e27c 100644
--- a/scripts/mk_util.py
+++ b/scripts/mk_util.py
@@ -2530,7 +2530,7 @@ def mk_config():
         check_ar()
         CXX = find_cxx_compiler()
         CC  = find_c_compiler()
-        SLITEXTRAFLAGS = ''
+        SLIBEXTRAFLAGS = ''
 #       SLIBEXTRAFLAGS = '%s -Wl,-soname,libz3.so.0' % LDFLAGS
         EXE_EXT = ''
         LIB_EXT = '.a'