diff --git a/manticore/install-root-debian b/manticore/install-root-debian index 1d807db..4f29fa8 100644 --- a/manticore/install-root-debian +++ b/manticore/install-root-debian @@ -2,5 +2,4 @@ set -eu -o pipefail -apt-get update apt-get -y install z3