[FFmpeg-cvslog] opencl: fix double ;

[Michael Niedermayer]

ffmpeg | branch: master | Michael Niedermayer <michaelni at gmx.at> | Mon Apr  1 13:01:17 2013 +0200| [76071322a32edc752b49c131fdb97f0608e0c3a0] | committer: Michael Niedermayer

opencl: fix double ;

Signed-off-by: Michael Niedermayer <michaelni at gmx.at>

> http://git.videolan.org/gitweb.cgi/ffmpeg.git/?a=commit;h=76071322a32edc752b49c131fdb97f0608e0c3a0
---

 libavutil/opencl.c |    4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/libavutil/opencl.c b/libavutil/opencl.c
index dc3b859..4ad39a8 100644
--- a/libavutil/opencl.c
+++ b/libavutil/opencl.c
@@ -332,7 +332,7 @@ static int init_opencl_env(GPUEnv *gpu_env, AVOpenCLExternalEnv *ext_opencl_env)
                     }
                     if (status != CL_SUCCESS) {
                         av_log(&openclutils, AV_LOG_ERROR, "Could not get OpenCL device ids: %s\n", opencl_errstr(status));
-                        ret = AVERROR(EINVAL);;
+                        ret = AVERROR(EINVAL);
                         goto end;
                     }
                     if (num_devices)
@@ -354,7 +354,7 @@ static int init_opencl_env(GPUEnv *gpu_env, AVOpenCLExternalEnv *ext_opencl_env)
             if (gpu_env->usr_spec_dev_info.dev_idx >= 0) {
                 if (num_devices < gpu_env->usr_spec_dev_info.dev_idx + 1) {
                     av_log(&openclutils, AV_LOG_ERROR, "Could not get OpenCL device idx in the user set platform\n");
-                    ret = AVERROR(EINVAL);;
+                    ret = AVERROR(EINVAL);
                     goto end;
                 }
             }