From b4bbe12ca15ddc411d16ab502498fb23d79523f8 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Mon, 10 Jun 2019 13:38:08 -0700
Subject: [PATCH] set kernel to 3

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 examples/python/tutorial/jupyter/strategies.ipynb | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/examples/python/tutorial/jupyter/strategies.ipynb b/examples/python/tutorial/jupyter/strategies.ipynb
index d4afda0c3..a7f9df100 100644
--- a/examples/python/tutorial/jupyter/strategies.ipynb
+++ b/examples/python/tutorial/jupyter/strategies.ipynb
@@ -182,8 +182,8 @@
   ],
   "metadata": {
     "kernelspec": {
-      "name": "python36",
-      "display_name": "Python 3.6",
+      "name": "python3",
+      "display_name": "Python 3",
       "language": "python"
     },
     "language_info": {