[seplogic/jstar] 6a4091: partial update to sync with corestar; still doesn'...

[GitHub]

Branch: refs/heads/alt-abd
Home: https://github.com/seplogic/jstar
Commit: 6a4091c640c23366613312f9a7795688835e0477
https://github.com/seplogic/jstar/commit/6a4091c640c23366613312f9a7795688835e0477
Author: Radu Grigore <radug...@gmail.com>
Date: 2014-04-22 (Tue, 22 Apr 2014)

Changed paths:
M _tags
M src/jimple_syntax/jparsetree.ml
M src/jimple_syntax/jparsetree.mli
M src/jimple_syntax/pprinter.ml
M src/jimple_syntax/spec_def.ml
M src/jimple_syntax/spec_def.mli
M src/jimplefront/classverification.ml
M src/jimplefront/classverification.mli
M src/jimplefront/javaspecs.ml
M src/jimplefront/javaspecs.mli
M src/jimplefront/jlogic.ml
M src/jimplefront/jlogic.mli
M src/jimplefront/methdec.ml
M src/jimplefront/support_symex.ml
M src/jimplefront/support_symex.mli
M src/jimplefront/translatejimple.ml
M src/jimplefront/translatejimple.mli
M src/parsing/jparser.mly
M src/parsing/support_syntax.ml
M src/parsing/support_syntax.mli
M src/topl/toplMonitor.ml
M src/topl/toplNames.ml
M src/topl/toplPreprocessor.ml
M src/topl/toplSpecs.ml
M src/topl/toplSpecs.mli

Log Message:
-----------
partial update to sync with corestar; still doesn't compile!