diff options
Diffstat (limited to 'otherlibs/dynlink/dynlink.mli')
| -rw-r--r-- | otherlibs/dynlink/dynlink.mli | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/otherlibs/dynlink/dynlink.mli b/otherlibs/dynlink/dynlink.mli index 849f1e148..b43fa359f 100644 --- a/otherlibs/dynlink/dynlink.mli +++ b/otherlibs/dynlink/dynlink.mli @@ -11,8 +11,6 @@ (* *) (***********************************************************************) -(* $Id$ *) - (** Dynamic loading of object files. *) val is_native: bool |