diff options
| author | Patrick Simianer <p@simianer.de> | 2011-10-19 14:02:34 +0200 |
|---|---|---|
| committer | Patrick Simianer <p@simianer.de> | 2011-10-19 14:02:34 +0200 |
| commit | 9beaeb42b71fa504bfa41a402cb17eb6ac4001af (patch) | |
| tree | 0add4afabc526391753e4e6b9443a7bf21e3e2c3 /decoder/cfg.cc | |
| parent | ce3b4db94d40c111ede321ac6de2bb061a81c4af (diff) | |
| parent | 09297047e446f49804d3f48bf320cdbd38d6396a (diff) | |
merge upstream/master
Diffstat (limited to 'decoder/cfg.cc')
| -rwxr-xr-x | decoder/cfg.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/decoder/cfg.cc b/decoder/cfg.cc index 651978d2..cd7e66e9 100755 --- a/decoder/cfg.cc +++ b/decoder/cfg.cc @@ -639,7 +639,7 @@ void CFG::Print(std::ostream &o,CFGFormat const& f) const { o << '['<<f.goal_nt_name <<']'; WordID rhs=-goal_nt; f.print_rhs(o,*this,&rhs,&rhs+1); - if (pushed_inside!=1) + if (pushed_inside!=prob_t::One()) f.print_features(o,pushed_inside); o<<'\n'; } |