[seplogic/jstar] e01e7c: Use program variables to assign to rather than log...

[GitHub]

Branch: refs/heads/alt-abd
Home: https://github.com/seplogic/jstar
Commit: e01e7c601a4d0226cceac9e6f2505c7f71bec9a7
https://github.com/seplogic/jstar/commit/e01e7c601a4d0226cceac9e6f2505c7f71bec9a7
Author: Rasmus Lerchedahl Petersen <rus...@eecs.qmul.ac.uk>
Date: 2013-11-08 (Fri, 08 Nov 2013)

Changed paths:
M src/jimplefront/translatejimple.ml
M unit_tests/topl/HasNext.java

Log Message:
-----------
Use program variables to assign to rather than logical variables