diff options
| -rw-r--r-- | js/interface.js | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/js/interface.js b/js/interface.js index 1fd3468..6c32063 100644 --- a/js/interface.js +++ b/js/interface.js @@ -874,7 +874,7 @@ var get_simplest_rules1 = function () if (s2t[r.src_gaps[k][l]] > id2idx(r.tgt[0])) { // before r["tgt_gaps_pos"].push(0); } else if(s2t[r.src_gaps[k][l]] < id2idx(r.tgt[r.tgt.length-1])) { //after - alert("!!"); + //alert("!!"); r["tgt_gaps_pos"].push(1); } else { } @@ -900,7 +900,7 @@ var get_simplest_rules1 = function () rs = {} for (r in rules) { if (r.invalid) { - alert(r); + //alert(r); continue; } var src = "", tgt = ""; @@ -1012,7 +1012,7 @@ var get_simplest_rules1 = function () if (accept) { rs[rules[r]["src"]] = b+" ||| "+$.trim(src+tgt); } else { - alert(src+tgt+" "+rules[r]["tgt_gaps"].length+" "+src_gaps_covered.length+" --- "+String(x.length==y.length) + " " + String(uniq) + " " + String(same)); + //alert(src+tgt+" "+rules[r]["tgt_gaps"].length+" "+src_gaps_covered.length+" --- "+String(x.length==y.length) + " " + String(uniq) + " " + String(same)); } } } |