diff options
Diffstat (limited to 'stdlib/nativeint.ml')
| -rw-r--r-- | stdlib/nativeint.ml | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/stdlib/nativeint.ml b/stdlib/nativeint.ml index 4bba76d56..94c4b9490 100644 --- a/stdlib/nativeint.ml +++ b/stdlib/nativeint.ml @@ -11,8 +11,6 @@ (* *) (***********************************************************************) -(* $Id$ *) - (* Module [Nativeint]: processor-native integers *) external neg: nativeint -> nativeint = "%nativeint_neg" |