--- a/libInit.cc	Fri Nov 16 18:22:18 2001 +0100
+++ b/libInit.cc	Sat Nov 17 09:42:15 2001 +0100
@@ -67,6 +67,7 @@
 _HaltInterrupt_Init(pass,__pRT__,snd);
 _BreakPointInterrupt_Init(pass,__pRT__,snd);
 _UserInterrupt_Init(pass,__pRT__,snd);
+_AbortOperationRequest_Init(pass,__pRT__,snd);
 _Exception_Init(pass,__pRT__,snd);
 _Error_Init(pass,__pRT__,snd);
 _MessageNotUnderstood_Init(pass,__pRT__,snd);