cstubs: reexport ctypes

yallop · Jun 9, 2023 · 16db268 · 16db268
1 parent 17096a5
commit 16db268
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/src/cstubs/dune b/src/cstubs/dune
@@ -4,4 +4,6 @@
  (instrumentation
   (backend bisect_ppx))
  (wrapped false)
- (libraries ctypes str))
+ (libraries
+  (re_export ctypes)
+  str))