Working on bug #15

[joypy/Thun.git] / docs / TypeChecking.ipynb

diff --git a/docs/TypeChecking.ipynb b/docs/TypeChecking.ipynb
index e0ba1ce..39e845c 100644 (file)
--- a/docs/TypeChecking.ipynb
+++ b/docs/TypeChecking.ipynb
@@ -24,11 +24,11 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 2,
+   "execution_count": 3,
    "metadata": {},
    "outputs": [],
    "source": [
-    "from joy.utils.polytypes import (\n",
+    "from joy.utils.types import (\n",
     "    doc_from_stack_effect, \n",
     "    infer,\n",
     "    reify,\n",