diff options
Diffstat (limited to 'stdlib/array.ml')
| -rw-r--r-- | stdlib/array.ml | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/stdlib/array.ml b/stdlib/array.ml index d17582a43..ec633ea1f 100644 --- a/stdlib/array.ml +++ b/stdlib/array.ml @@ -11,8 +11,6 @@ (* *) (***********************************************************************) -(* $Id$ *) - (* Array operations *) external length : 'a array -> int = "%array_length" |