[seplogic/jstar] 43a5cc: assert_core P interpreted as {P}{P} rather than {e...

[GitHub]

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

Changed paths:
M src/jimplefront/translatejimple.ml

Log Message:
-----------
assert_core P interpreted as {P}{P} rather than {emp}{P}