--- trunk/instrument.c	2008/06/01 14:35:47	124
+++ trunk/instrument.c	2008/09/20 23:27:14	174
@@ -29,6 +29,7 @@
 #include <sys/stat.h>
 #include <sys/types.h>
 
+#include "global.h"
 #include "instrument-js.h"
 #include "resource-manager.h"
 #include "util.h"
@@ -97,7 +98,7 @@
 
         Stream_write_file_contents(input_stream, input);
 
-        jscoverage_instrument_js(id, input_stream, output_stream);
+        jscoverage_instrument_js(id, jscoverage_encoding, input_stream, output_stream);
 
         if (fwrite(output_stream->data, 1, output_stream->length, output) != output_stream->length) {
           fatal("cannot write to file: %s", destination_file);