1 files changed, 0 insertions, 30 deletions
diff --git a/PACE/pace/posix/setjmp.inl b/PACE/pace/posix/setjmp.inl
deleted file mode 100644
index 0b28a9a0a4b..00000000000
--- a/PACE/pace/posix/setjmp.inl
+++ /dev/null
@@ -1,30 +0,0 @@
-/* $Id$ -*- C -*-
-
- * =============================================================================
- *
- * = LIBRARY
- *    pace
- *
- * = FILENAME
- *    setjmp.inl
- *
- * = AUTHOR
- *    Luther Baker
- *
- * ============================================================================= */
-
-
-PACE_INLINE
-int
-pace_sigsetjmp (sigjmp_buf env, int savemask)
-{
-  return sigsetjmp (env, savemask);
-}
-
-PACE_INLINE
-void
-pace_siglongjmp (sigjmp_buf env, int val)
-{
-  siglongjmp (env, val);
-  return;
-}