dslab-epfl/s2e — pull request #51 by DonDiego (2013-07-06 13:22:34+00:00)
Title: cosmetics: Fix some stray double-star comment end markers.

Some cosmetics I noticed while hacking on S2E again ...