From b2b1d9a3a8cbf2f5d0089e29931cacf36297065a Mon Sep 17 00:00:00 2001 From: Marcos Magueta Date: Fri, 6 Mar 2026 20:27:49 -0300 Subject: wip: physical --- lib/core_functions.ml | 3 --- 1 file changed, 3 deletions(-) (limited to 'lib/core_functions.ml') 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 = -- cgit v1.2.3