diff options
Diffstat (limited to 'kernel/csymtable.ml')
| -rw-r--r-- | kernel/csymtable.ml | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/kernel/csymtable.ml b/kernel/csymtable.ml index 1c1645e971..6eb4d2be34 100644 --- a/kernel/csymtable.ml +++ b/kernel/csymtable.ml @@ -6,8 +6,6 @@ (* * GNU Lesser General Public License Version 2.1 *) (************************************************************************) -(* $Id$ *) - (* Created by Bruno Barras for Benjamin Grégoire as part of the bytecode-based reduction machine, Oct 2004 *) (* Bug fix #1419 by Jean-Marc Notin, Mar 2007 *) |