diff --git a/bindings/dune b/bindings/dune index 8b2de9e..0a88cd7 100644 --- a/bindings/dune +++ b/bindings/dune @@ -1,4 +1,4 @@ (library (name pci_bindings) (public_name pci.bindings) - (libraries ctypes.stubs ctypes ctypes.foreign.threaded)) + (libraries ctypes.stubs ctypes ctypes.foreign threads))