Florian Diebold 8a72e40ca9 Fix #4966 ... We add a level of binders when converting our function pointer to Chalk's; we need to remove it again on the way back.		2020-07-12 15:37:32 +02:00
..
src	Fix #4966	2020-07-12 15:37:32 +02:00
Cargo.toml	Address review comments	2020-07-09 17:33:49 +02:00