From: cyrille-artho <cyrille-artho@users.noreply.github.com>
Date: Sat, 1 Sep 2018 08:35:49 +0000 (+0200)
Subject: Merge pull request #156 from uwplse/null_lambda_capture
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=jpf-core.git;a=commitdiff_plain;h=97aa2f798ce7173f778234427b9b840f5886296d

Merge pull request #156 from uwplse/null_lambda_capture

Fixes null captured parameters
---

97aa2f798ce7173f778234427b9b840f5886296d