Index: mojo/public/bindings/parser/mojo_translate.py |
diff --git a/mojo/public/bindings/parser/mojo_translate.py b/mojo/public/bindings/parser/mojo_translate.py |
index 46aa071c487504392178dfaceb407b5c21e0a22b..c0aa1d6af8cae5db876c9d7999c95719e3e28213 100755 |
--- a/mojo/public/bindings/parser/mojo_translate.py |
+++ b/mojo/public/bindings/parser/mojo_translate.py |
@@ -31,6 +31,8 @@ def MapKind(kind): |
def MapOrdinal(ordinal): |
+ if ordinal == None: |
+ return None; |
return int(ordinal[1:]) # Strip leading '@' |