Automated commit

TimedPetriNetEditor.js

@@ -39,7 +39,7 @@ if (ENVIRONMENT_IS_NODE) {
 
 // --pre-jses are emitted after the Module integration code, so that they can
 // refer to Module (if they choose; they can also define Module)
-// include: /tmp/tmp260nf8ns.js
+// include: /tmp/tmp0kt0r_e8.js
 
   if (!Module.expectedDataFileDownloads) {
     Module.expectedDataFileDownloads = 0;
@@ -221,21 +221,21 @@ Module['FS_createPath']("/", "examples", true, true);
 
   })();
 
-// end include: /tmp/tmp260nf8ns.js
-// include: /tmp/tmphb7hp0vh.js
+// end include: /tmp/tmp0kt0r_e8.js
+// include: /tmp/tmppx8ht5lo.js
 
     // All the pre-js content up to here must remain later on, we need to run
     // it.
     if (Module['$ww'] || (typeof ENVIRONMENT_IS_PTHREAD != 'undefined' && ENVIRONMENT_IS_PTHREAD)) Module['preRun'] = [];
     var necessaryPreJSTasks = Module['preRun'].slice();
-  // end include: /tmp/tmphb7hp0vh.js
-// include: /tmp/tmpla8n2lo1.js
+  // end include: /tmp/tmppx8ht5lo.js
+// include: /tmp/tmp8m3uusbf.js
 
     if (!Module['preRun']) throw 'Module.preRun should exist because file support used it; did a pre-js delete it?';
     necessaryPreJSTasks.forEach(function(task) {
       if (Module['preRun'].indexOf(task) < 0) throw 'All preRun tasks that exist before user pre-js code should remain after; did you replace Module or modify Module.preRun?';
     });
-  // end include: /tmp/tmpla8n2lo1.js
+  // end include: /tmp/tmp8m3uusbf.js
 
 
 // Sometimes an existing Module object exists with properties