diff options
Diffstat (limited to 'src/backend/port/beos/shm.c')
| -rw-r--r-- | src/backend/port/beos/shm.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/backend/port/beos/shm.c b/src/backend/port/beos/shm.c index 91e6756b738..1611d204f92 100644 --- a/src/backend/port/beos/shm.c +++ b/src/backend/port/beos/shm.c @@ -9,8 +9,8 @@ */ #include "postgres.h" -#include "stdio.h" -#include "OS.h" +#include <stdio.h> +#include <OS.h> // Detachement d'une zone de mémoire partagée // On detruit le clone de l'area dans notre adress-space |