diff options
Diffstat (limited to '')
-rw-r--r-- | c/src/exec/score/headers/userext.h | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/c/src/exec/score/headers/userext.h b/c/src/exec/score/headers/userext.h index b97923d88b..29b0e9564e 100644 --- a/c/src/exec/score/headers/userext.h +++ b/c/src/exec/score/headers/userext.h @@ -101,13 +101,6 @@ typedef struct { } User_extensions_Control; /* - * The following contains the static extension set which may be - * configured by the application. - */ - -SCORE_EXTERN User_extensions_Control _User_extensions_Initial; - -/* * The following is used to manage the list of active extensions. */ |