Better support for NetBSD/current
[sbcl.git] / src / runtime / monitor.h
index 9d8583d..9a75652 100644 (file)
@@ -9,9 +9,5 @@
  * files for more information.
  */
 
-/*
- * $Header$
- */
-
-extern void ldb_monitor(void);
-extern void throw_to_monitor(void);
+extern void throw_to_monitor(void) never_returns;
+extern void monitor_or_something(void) never_returns;