On 11/27/2014 01:28 AM, [email protected] wrote:
-      if (!base_fndecls)
+      if (!base_fndecls.exists ())

This should use is_empty rather than exists.  OK with that change.

Jason

Reply via email to