[seplogic/jstar] 81f7dd: micro cleanup

0 views

Skip to first unread message

unread,

Nov 14, 2013, 8:58:29 PM11/14/13

to jstar-de...@googlegroups.com

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

Changed paths:
M src/jimplefront/jstar.ml
M src/topl/toplSpecs.ml

Log Message:
-----------
micro cleanup

Reply all

Reply to author

Forward

0 new messages