Oops, forgot a file in the last commit...
Oops, forgot a file in the last commit...

eriqande/libDAI-mods,flurischt/libDAI,slnovak/libDAI,slnovak/libDAI,AndrewNguyenF3/libdai,slnovak/libDAI,flurischt/libDAI,tttamaki/libdai,slnovak/libDAI,midnighteuler/libdai,AndrewNguyenF3/libdai,eriqande/libDAI-mods,AndrewNguyenF3/libdai,slnovak/libDAI,yesimon/libDAI,yesimon/libDAI,yesimon/libDAI,eriqande/libDAI-mods,slnovak/libDAI,midnighteuler/libdai,midnighteuler/libdai,yesimon/libDAI,flurischt/libDAI,tttamaki/libdai,eriqande/libDAI-mods,AndrewNguyenF3/libdai,yesimon/libDAI,midnighteuler/libdai,flurischt/libDAI,midnighteuler/libdai,AndrewNguyenF3/libdai,tttamaki/libdai,midnighteuler/libdai,eriqande/libDAI-mods,yesimon/libDAI,yesimon/libDAI,tttamaki/libdai,flurischt/libDAI,tttamaki/libdai,slnovak/libDAI,midnighteuler/libdai