Revision 0678bf84dd06fec596a23fc1a28341e6ca3a6cdb

Committed on 30/08/2013 4:08 am by Pedro Resende <[email protected]> [GitHub Diff]

Fix the missing removal of the include