rename stubs

2022-02-17 23:13:28 +01:00 · 2022-02-17 23:13:28 +01:00 · 07fb6701f2
commit 07fb6701f2
parent e7ff8e652c
2 changed files with 1 additions and 1 deletions
--- a/src/dune
+++ b/src/dune
@ -7,4 +7,4 @@
  (pps bisect_ppx -- --conditional))
 (foreign_stubs
  (language c)
-  (names exit_stubs)))
+  (names external_stubs)))
--- a/src/external_stubs.c
+++ b/src/external_stubs.c