79c79
<         if (!platform.supports_extension("cl_gl_sharing_extension"))
---
>         if (!platform.supports_extension(cl_gl_sharing_extension))
121c121
<         if(!gpu.supports_extension("cl_gl_sharing_extension")){
---
>         if(!gpu.supports_extension(cl_gl_sharing_extension)){
132c132
<         unsupported_extension_error("cl_gl_sharing_extension")
---
>         unsupported_extension_error(cl_gl_sharing_extension)