[gjs: 1/3] coverage: Remove unused JSCompartmentOptions

[Cosimo Cecchi <cosimoc src gnome org>]

commit d6f0dac305866929547781029b237ad401790f7b
Author: Philip Chimento <philip chimento gmail com>
Date:   Sun Dec 10 00:59:11 2017 -0800

    coverage: Remove unused JSCompartmentOptions

 gjs/coverage.cpp | 2 --
 1 file changed, 2 deletions(-)
---
diff --git a/gjs/coverage.cpp b/gjs/coverage.cpp
index e1f7dc3..c9461c7 100644
--- a/gjs/coverage.cpp
+++ b/gjs/coverage.cpp
@@ -327,8 +327,6 @@ bootstrap_coverage(GjsCoverage *coverage)
     JSAutoRequest ar(context);
 
     JSObject *debuggee = gjs_get_import_global(context);
-    JS::CompartmentOptions options;
-    options.behaviors().setVersion(JSVERSION_LATEST);
     JS::RootedObject debugger_compartment(context,
                                           gjs_create_global_object(context));
     {