diff options
Diffstat (limited to 'byterun/prims.h')
| -rw-r--r-- | byterun/prims.h | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/byterun/prims.h b/byterun/prims.h index f9f53aff4a..7a99678104 100644 --- a/byterun/prims.h +++ b/byterun/prims.h @@ -11,8 +11,6 @@ /* */ /***********************************************************************/ -/* $Id: prims.h 12858 2012-08-10 14:45:51Z maranget $ */ - /* Interface with C primitives. */ #ifndef CAML_PRIMS_H |