[seplogic/jstar] e9c1fa: made it compile

[Radu Grigore]

Branch: refs/heads/alt-abd
Home: https://github.com/seplogic/jstar
Commit: e9c1fad3d713556dee33547fce2030afa30def61
https://github.com/seplogic/jstar/commit/e9c1fad3d713556dee33547fce2030afa30def61
Author: Radu Grigore <radug...@gmail.com>
Date: 2016-04-11 (Mon, 11 Apr 2016)

Changed paths:
M src/jimplefront/classverification.ml
M src/jimplefront/javaspecs.ml
M src/jimplefront/translatejimple.ml
M src/parsing/jparser.mly
M src/topl/toplPreprocessor.ml
M src/topl/toplSpecs.ml

Log Message:
-----------
made it compile