1 files changed, 0 insertions, 2 deletions
diff --git a/CIAO/CIAO.mwc b/CIAO/CIAO.mwc
index dd297256b34..70537148ebc 100644
--- a/CIAO/CIAO.mwc
+++ b/CIAO/CIAO.mwc
@@ -1,5 +1,3 @@
 // -*- MPC -*-
-// $Id$
-
 workspace {
 }