[seplogic/jstar] e1505e: put in failwith-s so it compiles

[GitHub]

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

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

Log Message:
-----------
put in failwith-s so it compiles