diff options
Diffstat (limited to '')
| -rw-r--r-- | lib/core_functions.ml | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/lib/core_functions.ml b/lib/core_functions.ml index 059cd14..39094cc 100644 --- a/lib/core_functions.ml +++ b/lib/core_functions.ml @@ -1,9 +1,6 @@ -(* open Ctypes *) - module Types = Types_generated module Functions (F : Ctypes.FOREIGN) = struct - (* open F *) open Ctypes_static let os_extension = |