diff --git a/notebooks/dreal4-python3.ipynb b/notebooks/dreal4-python3.ipynb index aa40ed5b..4dda57a8 100644 --- a/notebooks/dreal4-python3.ipynb +++ b/notebooks/dreal4-python3.ipynb @@ -33,7 +33,7 @@ "source": [ "import pkgutil\n", "if not pkgutil.find_loader(\"dreal\"):\n", - " !curl https://raw.githubusercontent.com/dreal/dreal4/master/setup/ubuntu/20.04/install.sh | bash\n", + " !curl https://raw.githubusercontent.com/dreal/dreal4/master/setup/ubuntu/22.04/install.sh | bash\n", " !pip install dreal --upgrade" ], "execution_count": 0,