diff options
| author | Patrick Simianer <p@simianer.de> | 2011-10-20 02:31:25 +0200 |
|---|---|---|
| committer | Patrick Simianer <p@simianer.de> | 2011-10-20 02:31:25 +0200 |
| commit | 92e48b652530d2d2bb4f2694501f95a60d727cb2 (patch) | |
| tree | b484bd0c4216525690de8b14fb654c9581a300c2 /decoder/cfg.cc | |
| parent | 0e70073cec6cdcafaf60d4fbcbd1adf82ae21c8e (diff) | |
| parent | 082b6c77e0703ccd1c85947828c33d4b0eef20f0 (diff) | |
finalized merge
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'; } |