opengm/opengm — pull request #172 by DerThorsten (2013-11-22 12:23:23+00:00)
Title: removed another stupid header

removed another stupid header