diff options
author | Michael I. Bushnell <mib@gnu.org> | 1994-03-22 21:12:51 +0000 |
---|---|---|
committer | Michael I. Bushnell <mib@gnu.org> | 1994-03-22 21:12:51 +0000 |
commit | ad22d17c2ea74e49d249f683c715c96d77988a1c (patch) | |
tree | 3e3306e983f8f72bbbd4c5e4abec749ae0f58549 /proc/=proc_excrepl.defs | |
parent | 8b7396ba847674ac909880a3b69997eacf4020ba (diff) |
entered into RCS
Diffstat (limited to 'proc/=proc_excrepl.defs')
-rw-r--r-- | proc/=proc_excrepl.defs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/proc/=proc_excrepl.defs b/proc/=proc_excrepl.defs index 0f24c42d..ce78230b 100644 --- a/proc/=proc_excrepl.defs +++ b/proc/=proc_excrepl.defs @@ -34,4 +34,4 @@ ServerPrefix S_; simpleroutine proc_exception_raise_reply ( reply: mach_port_send_t; - int: reply_code); + reply_code: int); |