diff options
Diffstat (limited to 'extras/mini-os/events.c')
-rw-r--r-- | extras/mini-os/events.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/extras/mini-os/events.c b/extras/mini-os/events.c index 2f359a54e7..896c36565c 100644 --- a/extras/mini-os/events.c +++ b/extras/mini-os/events.c @@ -261,7 +261,7 @@ int evtchn_bind_interdomain(domid_t pal, evtchn_port_t remote_port, /* * Local variables: * mode: C - * c-set-style: "BSD" + * c-file-style: "BSD" * c-basic-offset: 4 * tab-width: 4 * indent-tabs-mode: nil |