Use exact pointer type in CodeContext.push to fix C warning

diff --git a/vala/valacodecontext.vala b/vala/valacodecontext.vala
index 41571ad99391e913b8cc1db2556e59c5692d08ea..2c9e32694cff2fd4e2e5cff7c751228094e7a808 100644 (file)
--- a/vala/valacodecontext.vala
+++ b/vala/valacodecontext.vala
@@ -207,7 +207,7 @@ public class Vala.CodeContext {
         * Push the specified context to the context stack.
         */
        public static void push (CodeContext context) {
-               List<CodeContext>* context_stack = context_stack_key.get ();
+               ArrayList<CodeContext>* context_stack = context_stack_key.get ();
                if (context_stack == null) {
                        context_stack = new ArrayList<CodeContext> ();
                        context_stack_key.set (context_stack, null);