[seplogic/jstar] 45df6b: bugfix: the html printing made jstar fail with ass...

0 views
Skip to first unread message

GitHub

unread,
Nov 26, 2013, 11:20:04 AM11/26/13
to jstar-de...@googlegroups.com
Branch: refs/heads/alt-abd
Home: https://github.com/seplogic/jstar
Commit: 45df6ba75a150d276be00db2b6b26cbc6131aa93
https://github.com/seplogic/jstar/commit/45df6ba75a150d276be00db2b6b26cbc6131aa93
Author: Radu Grigore <radug...@gmail.com>
Date: 2013-11-26 (Tue, 26 Nov 2013)

Changed paths:
M src/jimplefront/jstar.ml

Log Message:
-----------
bugfix: the html printing made jstar fail with assert false



Reply all
Reply to author
Forward
0 new messages