From 72bcfa9270ab3422e958565ddcdefdbd888f9ee8 Mon Sep 17 00:00:00 2001
From: Julian Ospald <hasufell@posteo.de>
Date: Sat, 18 Apr 2020 17:29:44 +0200
Subject: [PATCH] Fix CI

---
 .gitlab/script/ghcup_version.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.gitlab/script/ghcup_version.sh b/.gitlab/script/ghcup_version.sh
index f302e9f..0f12c8d 100755
--- a/.gitlab/script/ghcup_version.sh
+++ b/.gitlab/script/ghcup_version.sh
@@ -35,7 +35,7 @@ rm -rf "${GHCUP_INSTALL_BASE_PREFIX}"/.ghcup
 
 ghcup-gen check -f ghcup-${JSON_VERSION}.json
 
-eghcup numeric-version
+eghcup --numeric-version
 
 eghcup install ${GHC_VERSION}
 eghcup set ${GHC_VERSION}