diff options
Diffstat (limited to 'byterun/finalise.c')
| -rw-r--r-- | byterun/finalise.c | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/byterun/finalise.c b/byterun/finalise.c index c6dd90d4f..0d1e55810 100644 --- a/byterun/finalise.c +++ b/byterun/finalise.c @@ -13,11 +13,11 @@ /* Handling of finalised values. */ -#include "callback.h" -#include "fail.h" -#include "mlvalues.h" -#include "roots.h" -#include "signals.h" +#include "caml/callback.h" +#include "caml/fail.h" +#include "caml/mlvalues.h" +#include "caml/roots.h" +#include "caml/signals.h" struct final { value fun; |