[seplogic/jstar] 30c600: Corrected a bug in remove_thor, added debug

2 views

Skip to first unread message

unread,

Nov 5, 2013, 8:43:48 PM11/5/13

to jstar-de...@googlegroups.com

Branch: refs/heads/alt-abd
Home: https://github.com/seplogic/jstar
Commit: 30c600bbfbbb319f6de55a4a5606b28fc88df9e8
https://github.com/seplogic/jstar/commit/30c600bbfbbb319f6de55a4a5606b28fc88df9e8
Author: Nikos <nik...@eecs.qmul.ac.uk>
Date: 2013-11-05 (Tue, 05 Nov 2013)

Changed paths:
M src/topl/toplSpecs.ml

Log Message:
-----------
Corrected a bug in remove_thor, added debug

Reply all

Reply to author

Forward

0 new messages