@@ -195,7 +195,7 @@ class ExampleJSGenerator {
newline();
fprint("$p$f.toString = $$estr");
- fprint("$p$f.__enum__ = $$p");
+ fprint("$p$f.__enum__ = $p");
}