From c7a0bd04a73c31906d872d4ea3445e6d5b66e4ae 2012-10-03 15:23:54
From: Matthias BUSSONNIER <bussonniermatthias@gmail.com>
Date: 2012-10-03 15:23:54
Subject: [PATCH] prompt_number : number -> integer

---

diff --git a/IPython/nbformat/v3/v3.withref.json b/IPython/nbformat/v3/v3.withref.json
index 8839f89..e648471 100644
--- a/IPython/nbformat/v3/v3.withref.json
+++ b/IPython/nbformat/v3/v3.withref.json
@@ -153,7 +153,7 @@
             "type": "array"
         },
         "prompt_number": {
-            "type": ["number","null"],
+            "type": ["integer","null"],
             "minimum": 0
         },
         "language": {