X-Git-Url: https://git.verplant.org/?a=blobdiff_plain;f=tools%2Ftilemanager%2FLexer.cs;h=601d53d75cd1aa571e2c4f6f65db4e3c6dd6537a;hb=f406067af6cbeb0a638078fe1d386d092583909c;hp=bbbd397aaa86b3c92263356683af42f5e79add2e;hpb=7af002362d894832570cffcda1afbd5bafee06eb;p=supertux.git

diff --git a/tools/tilemanager/Lexer.cs b/tools/tilemanager/Lexer.cs
index bbbd397aa..601d53d75 100644
--- a/tools/tilemanager/Lexer.cs
+++ b/tools/tilemanager/Lexer.cs
@@ -1,3 +1,4 @@
+//  $Id$
 using System;
 using System.Text;
 using System.IO;
@@ -137,7 +138,7 @@ public class Lexer {
                         return TokenType.SYMBOL;
                     }
             }
-        } catch(EOFException e) {
+        } catch(EOFException) {
             return TokenType.EOF;
         }
     }