1 files changed, 3 insertions, 0 deletions
diff --git a/src/jsifier.js b/src/jsifier.js
index 791273f4..a7a53803 100644
--- a/src/jsifier.js
+++ b/src/jsifier.js
@@ -1901,6 +1901,9 @@ function JSify(data, functionsOnly) {
     if (PROXY_TO_WORKER) {
       print(read('proxyWorker.js'));
     }
+    if (DETERMINISTIC) {
+      print(read('deterministic.js'));
+    }
     if (RUNTIME_TYPE_INFO) {
       Types.cleanForRuntime();
       print('Runtime.typeInfo = ' + JSON.stringify(Types.types));