diff options
Diffstat (limited to 'kernel/cbytecodes.ml')
-rw-r--r-- | kernel/cbytecodes.ml | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/kernel/cbytecodes.ml b/kernel/cbytecodes.ml index ae58a4dc0..cda5482e6 100644 --- a/kernel/cbytecodes.ml +++ b/kernel/cbytecodes.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 *) (* Support for native arithmetics by Arnaud Spiwack, May 2007 *) |