flounder: Free popped receive slot if we did not use it
authorSimon Gerber <simon.gerber@inf.ethz.ch>
Mon, 7 Nov 2016 09:56:43 +0000 (10:56 +0100)
committerSimon Gerber <simon.gerber@inf.ethz.ch>
Mon, 7 Nov 2016 09:56:43 +0000 (10:56 +0100)
commit2d4d2422cb45e5252647c0ab8b47c78fcc85337e
treedd6ee89396fc972a02bdc2ec916b72f8adc6c1f0
parent7398e39228232a26a82f72fc0fee07010f3ecb21
flounder: Free popped receive slot if we did not use it

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
tools/flounder/LMP.hs