diff options
Diffstat (limited to 'pfinet')
| -rw-r--r-- | pfinet/mig-mutate.h | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/pfinet/mig-mutate.h b/pfinet/mig-mutate.h index 4d97408f..b7780776 100644 --- a/pfinet/mig-mutate.h +++ b/pfinet/mig-mutate.h @@ -28,7 +28,9 @@ #define SOCKET_INTRAN sock_user_t begin_using_socket_port (socket_t) #define SOCKET_DESTRUCTOR end_using_socket_port (sock_user_t) -#define SOCKET_IMPORTS import "mig-decls.h"; +#define SOCKET_IMPORTS \ + import "mig-decls.h"; \ + import "../libtrivfs/mig-decls.h"; \ #define ADDRPORT_INTRAN sock_addr_t begin_using_sockaddr_port (addr_port_t) #define ADDRPORT_DESTRUCTOR end_using_sockaddr_port (sock_addr_t) |