[seplogic/jstar] 64f792: assignment translation was buggy

2 views
Skip to first unread message

GitHub

unread,
Nov 11, 2013, 7:24:51 AM11/11/13
to jstar-de...@googlegroups.com
Branch: refs/heads/alt-abd
Home: https://github.com/seplogic/jstar
Commit: 64f792897859469dd274fe03a1b5e28218e9a938
https://github.com/seplogic/jstar/commit/64f792897859469dd274fe03a1b5e28218e9a938
Author: Radu Grigore <radug...@gmail.com>
Date: 2013-11-11 (Mon, 11 Nov 2013)

Changed paths:
M src/jimplefront/translatejimple.ml

Log Message:
-----------
assignment translation was buggy



Reply all
Reply to author
Forward
0 new messages