From 7015d971c52c70503b65ac53520bb4c50997881c Mon Sep 17 00:00:00 2001
From: Matt Williams <35334658+mattcoding4days@users.noreply.github.com>
Date: Wed, 2 Dec 2020 12:08:15 -0800
Subject: [PATCH] Update install_deps.sh

Add support for Pop!_OS
---
 scripts/install_deps.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/install_deps.sh b/scripts/install_deps.sh
index f71434e44..0312db4b3 100755
--- a/scripts/install_deps.sh
+++ b/scripts/install_deps.sh
@@ -264,7 +264,7 @@ case $(uname -s) in
 #
 #------------------------------------------------------------------------------
 
-            Ubuntu|LinuxMint)
+            Ubuntu|LinuxMint|Pop)
                 #LinuxMint is a distro on top of Ubuntu.
                 #Ubuntu
                 install_z3=""