--- a/src/HOL/Tools/Sledgehammer/MaSh/src/argparse.py Mon Nov 26 14:20:51 2012 +0100
+++ b/src/HOL/Tools/Sledgehammer/MaSh/src/argparse.py Mon Nov 26 15:31:03 2012 +0100
@@ -4,7 +4,7 @@
# -*- coding: utf-8 -*-
-# Copyright © 2006-2009 Steven J. Bethard <steven.bethard@gmail.com>.
+# Copyright (C) 2006-2009 Steven J. Bethard <steven.bethard@gmail.com>.
#
# Licensed under the Apache License, Version 2.0 (the "License"); you may not
# use this file except in compliance with the License. You may obtain a copy