1.1 --- a/plugins/include/sdktools.inc	Sun Jul 08 19:02:27 2007 +0000
     1.2 +++ b/plugins/include/sdktools.inc	Sun Jul 08 19:39:19 2007 +0000
     1.3 @@ -25,6 +25,7 @@
     1.4  #if !defined SDKTOOLS_DISABLE_SOUNDAPI
     1.5  #include <sdktools_sound>
     1.6  #endif
     1.7 +#include <sdktools_trace>
     1.8  
     1.9  enum SDKCallType
    1.10  {