# HG changeset patch
# User blanchet
# Date 1353940263 -3600
# Node ID cf1a274bbba600de8b97bb62c19a6023b0d4339a
# Parent  01d545993e8ccfdbe5a8b4627c7d2aa3de3b4868
avoid non-ASCII sign

diff -r 01d545993e8c -r cf1a274bbba6 src/HOL/Tools/Sledgehammer/MaSh/src/argparse.py
--- 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