X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=blobdiff_plain;f=src%2Ftrace_js.ml.str;h=4d17382f217cbe81160d32f4b4e290be1610b999;hp=382132a68f287ec8363d1c57af0a5366b9804833;hb=22f564fb392fd71207e19cc862c0a18c34d1c2c0;hpb=3dfc363bf140b2d385f48a53d05a8cdd72fc7033

diff --git a/src/trace_js.ml.str b/src/trace_js.ml.str
index 382132a..4d17382 100644
--- a/src/trace_js.ml.str
+++ b/src/trace_js.ml.str
@@ -1,3 +1,4 @@
+// -*-Javascript-*-
 var old_timer = null;
 var old_node = null;