From c247b4ab55418e64760e0c9229d1bae564874aaa Mon Sep 17 00:00:00 2001
From: Tim Quatmann <tim.quatmann@cs.rwth-aachen.de>
Date: Mon, 19 Oct 2020 15:33:17 +0200
Subject: [PATCH] fixed type in offline_package documentation

---
 doc/offline_package.md | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/doc/offline_package.md b/doc/offline_package.md
index 4c8eba1df..bd15b0406 100644
--- a/doc/offline_package.md
+++ b/doc/offline_package.md
@@ -25,12 +25,12 @@ Assuming that the directory `dependencies` contains the `*.deb` files, and `carl
 #!/bin/bash
 
 # Get the number of available threads for multithreaded compiling
-$THREADS=$(nproc)
+THREADS=$(nproc)
 
 # cd to the directory where the script lies in
 cd "$( dirname "${BASH_SOURCE[0]}" )"
 
-echo "Installing dependencies. You might need to enter the root password 'tacas20ae'"
+echo "Installing dependencies. You might need to enter the root password"
 cd dependencies
 sudo dpkg -i *.deb
 cd ..