# HG changeset patch
# User Matti Hamalainen <ccr@tnsp.org>
# Date 1576165913 -7200
# Node ID f645e38e31576e1d6c964dc8c2beea9176eddee4
# Parent  5a45c5c0a5164e5b468eda52268d0e789bcf7505
Use delete[] instead of delete for new[]'d memory.

diff -r 5a45c5c0a516 -r f645e38e3157 gldragon.cpp
--- a/gldragon.cpp	Thu Dec 12 17:51:33 2019 +0200
+++ b/gldragon.cpp	Thu Dec 12 17:51:53 2019 +0200
@@ -382,7 +382,7 @@
             glGetShaderInfoLog(shader, bufLen, NULL, buf);
             dmError("Shader compilation error:\n%s\n",
                 buf);
-            delete buf;
+            delete[] buf;
         }
         else
         {