UCSD-PL/nano-js — pull request #19 by panagosg7 (2013-12-05 00:13:00+00:00)
Title: Fix cousot-01: object type -> number.

What we thought was a number was parsed as an object literal type.