diff options
Diffstat (limited to 'src/main/make.code.defn')
-rw-r--r-- | src/main/make.code.defn | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/main/make.code.defn b/src/main/make.code.defn index ba042661..0e3320d5 100644 --- a/src/main/make.code.defn +++ b/src/main/make.code.defn @@ -15,7 +15,6 @@ ProcessCommandLine.c\ ProcessEnvironment.c\ ProcessParameterDatabase.c\ RecordImplementation.c\ -RegisterThorn.c\ SetParams.c\ ShutdownCactus.c\ flesh.cc\ @@ -26,4 +25,5 @@ rfrInterface.c\ OverloadMain.c\ CommandLine.c\ GHExtensions.c\ -WarnLevel.c +WarnLevel.c\ +ActiveThorns.c |