notebook: Update Colab notebook

As Google Colab is using Ubuntu-22.04.
dreal · Jul 24, 2023 · 94b5aa8 · 94b5aa8
1 parent d592033
commit 94b5aa8
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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,