@@ -902,7 +902,7 @@ public DeserializationNullValue(SerializationInfo info)
             try {
                 nullVal = (NullValue)info.GetValue("nullvalue", typeof(NullValue));
             }
-            catch (SerializationException e) {
+            catch (SerializationException) {
                 // for compatibility with dictionary serialized in 2.6.
             }
             if (nullVal != null) {