Update DocstringFixpoint.ipynb

2023-03-07 14:31:08 -08:00
parent 3614d30d1e
commit 05772b7d29
1 changed files with 1 additions and 1 deletions
--- a/ipynb/DocstringFixpoint.ipynb
+++ b/ipynb/DocstringFixpoint.ipynb
@@ -134,7 +134,7 @@
    "    \"\"\"The items before the first occurence of `end` (if it shows up).\"\"\"\n",
    "    return items if (end not in items) else items[:items.index(end)]\n",
    "\n",
-    "def non_negative(numbers): return [x for x in numbers if x >= 0]  "
+    "def non_negative(numbers: list) -> list: return [x for x in numbers if x >= 0]  "
   ]
  },
  {