Commit 9a50026b19d95b16a2e0c33560180f157ad86dd3

Vicent Marti 2012-11-12T15:38:28

clar-helpers: Oops, grab pointer