Singular/Sources — pull request #676 by mmklee (2014-11-25 20:21:32+00:00)
Title: fix: LCHeuristic

fix for trac #671