diff --git a/minils/sequential/c.ml b/minils/sequential/c.ml
index 8083a64..97d7f0f 100644
--- a/minils/sequential/c.ml
+++ b/minils/sequential/c.ml
@@ -7,8 +7,6 @@
 (*                                                                        *)
 (**************************************************************************)
 
-(* $Id$ *)
-
 open Format
 open List
 open Modules
diff --git a/minils/sequential/cgen.ml b/minils/sequential/cgen.ml
index ec51b3e..9bb6021 100644
--- a/minils/sequential/cgen.ml
+++ b/minils/sequential/cgen.ml
@@ -7,8 +7,6 @@
 (*                                                                        *)
 (**************************************************************************)
 
-(* $Id$ *)
-
 open Format
 open List
 open Misc
diff --git a/minils/sequential/obc.ml b/minils/sequential/obc.ml
index f2f7df3..7b97fb4 100644
--- a/minils/sequential/obc.ml
+++ b/minils/sequential/obc.ml
@@ -8,8 +8,6 @@
 (**************************************************************************)
 (* Object code internal representation *)
 
-(* $Id$ *)
-
 open Misc
 open Names
 open Ident