Changes to utf8MacroTable.js.

[helm.git] / matitaB / matita / utf8MacroTable.js

diff --git a/matitaB/matita/utf8MacroTable.js b/matitaB/matita/utf8MacroTable.js
index 1603f1dcbc66d8670151310d8b8f5f446a7aa9a4..6ad92e2f1bdd158fb80096cf987bc9f5241614d5 100644 (file)
--- 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";