[seplogic/jstar] 4f579e: jstar runs again!

[GitHub]

Branch: refs/heads/alt-abd
Home: https://github.com/seplogic/jstar
Commit: 4f579e696b92f7bd61638cadffb5061cd94e2ffe
https://github.com/seplogic/jstar/commit/4f579e696b92f7bd61638cadffb5061cd94e2ffe
Author: Radu Grigore <radug...@gmail.com>
Date: 2014-05-31 (Sat, 31 May 2014)

Changed paths:
M src/jimple_syntax/untyped.ml
M src/jimplefront/jlogic.ml
M src/jimplefront/jstar.ml
M src/jimplefront/translatejimple.ml
M src/parsing/support_syntax.ml
M src/topl/toplPreprocessor.ml
M src/topl/toplSpecs.ml

Log Message:
-----------
jstar runs again!

(with Rasmus)