X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matitaB%2Fmatita%2Futf8MacroTable.js;fp=matitaB%2Fmatita%2Futf8MacroTable.js;h=6ad92e2f1bdd158fb80096cf987bc9f5241614d5;hb=1f0f5721ea1bae0865b8e2a1e68abb94b5fcd964;hp=1603f1dcbc66d8670151310d8b8f5f446a7aa9a4;hpb=ac44bd2f74e5fc606fb6833f949bb36ed4c2fd69;p=helm.git

diff --git a/matitaB/matita/utf8MacroTable.js b/matitaB/matita/utf8MacroTable.js
index 1603f1dcb..6ad92e2f1 100644
--- a/matitaB/matita/utf8MacroTable.js
+++ b/matitaB/matita/utf8MacroTable.js
@@ -1,6 +1,6 @@
 /* GENERATED by make_table: DO NOT EDIT! */
-var macro2utf8;
-var utf82macro;
+var macro2utf8 = new Object();
+var utf82macro = new Object();
 macro2utf8["nscr"] = "\240\157\147\131";
 utf82macro["\240\157\147\131"] = "nscr";
 macro2utf8["LJcy"] = "\208\137";