[seplogic/jstar] 67874f: Fixed several TODOs.

[GitHub]

Branch: refs/heads/alt-abd
Home: https://github.com/seplogic/jstar
Commit: 67874fa5898e65f051ec5df392feef10e6e2d194
https://github.com/seplogic/jstar/commit/67874fa5898e65f051ec5df392feef10e6e2d194
Author: Nikos <nik...@eecs.qmul.ac.uk>
Date: 2013-11-06 (Wed, 06 Nov 2013)

Changed paths:
M src/jimplefront/jlogic.ml
M src/jimplefront/support_symex.ml
M src/jimplefront/translatejimple.ml
M src/parsing/jparser.mly
M src/parsing/support_syntax.ml
M src/parsing/support_syntax.mli

Log Message:
-----------
Fixed several TODOs.