diff --git a/src/current/compiler/js-calc.xsl b/src/current/compiler/js-calc.xsl index 1d1b00c9..225f984f 100644 --- a/src/current/compiler/js-calc.xsl +++ b/src/current/compiler/js-calc.xsl @@ -817,9 +817,11 @@ --> diff --git a/src/current/compiler/js.xsl b/src/current/compiler/js.xsl index fb574959..c0e75eea 100644 --- a/src/current/compiler/js.xsl +++ b/src/current/compiler/js.xsl @@ -1740,6 +1740,11 @@ return m.some(E); } + function div(x, y) + { + return x / y; + } + // types function Tf(x) { return 1; }