1 files changed, 14 insertions, 0 deletions
diff --git a/c/src/exec/score/headers/thread.h b/c/src/exec/score/headers/thread.h
index 8abf7c3584..74399545b9 100644
--- a/c/src/exec/score/headers/thread.h
+++ b/c/src/exec/score/headers/thread.h
@@ -545,6 +545,20 @@ void _Thread_Set_priority(
 boolean _Thread_Evaluate_mode( void );
 
 /*
+ *  _Thread_Get
+ *
+ *  NOTE:  If we are not using static inlines, this must be a real
+ *         subroutine call.
+ */
+ 
+#ifndef USE_INLINES
+Thread_Control *_Thread_Get (
+  Objects_Id           id,
+  Objects_Locations   *location
+);
+#endif
+
+/*
  *  _Thread_Idle_body
  *
  *  DESCRIPTION: