From 5c7af1f9226c681f07dfc32526d53d5996d4d5a8 Mon Sep 17 00:00:00 2001
From: amai2012 <amai2012@users.noreply.github.com>
Date: Tue, 7 Apr 2020 20:23:54 +0200
Subject: [PATCH] Use apt-get instead of apt

---
 .github/workflows/coverage.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/coverage.yml b/.github/workflows/coverage.yml
index 4889ab134..6e1fab93f 100644
--- a/.github/workflows/coverage.yml
+++ b/.github/workflows/coverage.yml
@@ -14,7 +14,7 @@ jobs:
 
       - name: Install missing software on ubuntu
         run: |
-          sudo apt update
+          sudo apt-get update
           sudo apt-get install libxml2-utils
           sudo apt-get install z3 libz3-dev
           sudo apt-get install lcov