summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorgraehl@gmail.com <graehl@gmail.com@ec762483-ff6d-05da-a07a-a48fb63a330f>2010-08-10 10:05:39 +0000
committergraehl@gmail.com <graehl@gmail.com@ec762483-ff6d-05da-a07a-a48fb63a330f>2010-08-10 10:05:39 +0000
commit86ae2fcf6207630c03ec222131346a6fd8fee10a (patch)
tree850e1c0cad15682eef357a3998c99cc51e44589a
parent32154b45828f05add1db7c89752ef4220c0fdf16 (diff)
fix warning
git-svn-id: https://ws10smt.googlecode.com/svn/trunk@500 ec762483-ff6d-05da-a07a-a48fb63a330f
-rw-r--r--decoder/trule.cc1
1 files changed, 1 insertions, 0 deletions
diff --git a/decoder/trule.cc b/decoder/trule.cc
index b76a29c3..f43fbb58 100644
--- a/decoder/trule.cc
+++ b/decoder/trule.cc
@@ -99,6 +99,7 @@ THREADLOCAL int n_assigned=0;
void assign_trule(const TRulePtr& new_rule, const unsigned int ctf_level, const TRulePtr& coarse_rule, void* extra) {
TRule *assignto=(TRule *)extra;
*assignto=*new_rule;
+ ++n_assigned;
}
}