diff options
author | sternenseemann <git@lukasepple.de> | 2017-09-27 18:24:57 +0200 |
---|---|---|
committer | sternenseemann <git@lukasepple.de> | 2017-09-27 18:24:57 +0200 |
commit | cf731630fcce66327695097ed52b894ad3743971 (patch) | |
tree | 548cfc5e80065230c9f2c03e526d3f13e101e7a1 | |
parent | 8497bd54dce82aa4f5c96c64ec625cb7a9a28ea0 (diff) |
Remove console.log and other debugging stuff
-rw-r--r-- | web/source/main.js | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/web/source/main.js b/web/source/main.js index f0077ec..e2696c5 100644 --- a/web/source/main.js +++ b/web/source/main.js @@ -148,10 +148,8 @@ function musical_symbol(lookup, dur) { return (n >= 0.0) && (Math.floor(n) === n) && n !== Infinity; }; var standard_symbol = lookup(dur); - var bla = [0, 1, 2, 3, 4, 5, 6, 7 ].map(compute_dot_times.bind(this, dur)); - console.log(bla); - var dots = bla.filter(([den, dots]) => isNat(dots)); - console.log(dots); + var dots = [0, 1, 2, 3, 4, 5, 6, 7 ].map(compute_dot_times.bind(this, dur)) + .filter(([den, dots]) => isNat(dots)); if(standard_symbol !== null) { return standard_symbol; |