[seplogic/jstar] 5f50cf: 'new' allocates

[GitHub]

Branch: refs/heads/alt-abd
Home: https://github.com/seplogic/jstar
Commit: 5f50cf514c817377ee6008cf539a41f613bd52d8
https://github.com/seplogic/jstar/commit/5f50cf514c817377ee6008cf539a41f613bd52d8
Author: Radu Grigore <radug...@gmail.com>
Date: 2013-11-11 (Mon, 11 Nov 2013)

Changed paths:
M src/jimple_syntax/spec_def.mli
M src/jimplefront/classverification.ml
M src/jimplefront/javaspecs.ml
M src/jimplefront/jstar.ml
M src/jimplefront/methdec.ml
M src/jimplefront/methdec.mli
M src/jimplefront/translatejimple.ml
M src/jimplefront/translatejimple.mli

Log Message:
-----------
'new' allocates