Merge branch 'no-edges2'
[libdai.git] / src / util.cpp
2008-08-25 Joris MooijPartial adoption of contributions by Giuseppe: