diff options
| author | Jason Carey <jcarey@argv.me> | 2015-07-09 14:05:20 -0400 |
|---|---|---|
| committer | Jason Carey <jcarey@argv.me> | 2015-07-14 16:15:54 -0400 |
| commit | e749ffad9b4fe3110d97f366ebe39e7c9a4edd9d (patch) | |
| tree | 927e727645da9bfc80095bb124860e31e58e9d77 /src/mongo/scripting/engine_v8-3.25.h | |
| parent | 1af5f44f9ba2b7cff8e0457798b7a25b64e9fe69 (diff) | |
| download | mongo-e749ffad9b4fe3110d97f366ebe39e7c9a4edd9d.tar.gz | |
SERVER-18531 Integrate SpiderMonkey
Provides SpiderMonkey 38.0.1esr as a JS engine for mongo and mongod.
Diffstat (limited to 'src/mongo/scripting/engine_v8-3.25.h')
| -rw-r--r-- | src/mongo/scripting/engine_v8-3.25.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/mongo/scripting/engine_v8-3.25.h b/src/mongo/scripting/engine_v8-3.25.h index f3e594c33ee..0865ab59ac3 100644 --- a/src/mongo/scripting/engine_v8-3.25.h +++ b/src/mongo/scripting/engine_v8-3.25.h @@ -40,7 +40,7 @@ #include "mongo/client/dbclientcursor.h" #include "mongo/platform/unordered_map.h" #include "mongo/scripting/engine.h" -#include "mongo/scripting/v8_deadline_monitor.h" +#include "mongo/scripting/deadline_monitor.h" #include "mongo/scripting/v8-3.25_profiler.h" /** |