From cf868a29d10942c62b4041e5931e68f868a4b96d Mon Sep 17 00:00:00 2001
From: philblunsom <philblunsom@ec762483-ff6d-05da-a07a-a48fb63a330f>
Date: Mon, 19 Jul 2010 17:01:19 +0000
Subject: Changed string delimiter, hope this doesn't screw anything up ...

git-svn-id: https://ws10smt.googlecode.com/svn/trunk@316 ec762483-ff6d-05da-a07a-a48fb63a330f
---
 decoder/dict.cc | 2 +-
 decoder/dict.h  | 4 ++--
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/decoder/dict.cc b/decoder/dict.cc
index 485fa348..5b0882e6 100644
--- a/decoder/dict.cc
+++ b/decoder/dict.cc
@@ -6,6 +6,6 @@
 #include <boost/algorithm/string/regex.hpp>
 
 void Dict::AsVector(const WordID& id, std::vector<std::string>* results) const {
-  boost::algorithm::split_regex(*results, Convert(id), boost::regex("\\|\\|\\|"));
+  boost::algorithm::split_regex(*results, Convert(id), boost::regex(" \\|\\|\\| "));
 }
 
diff --git a/decoder/dict.h b/decoder/dict.h
index e0ac9abd..38231db6 100644
--- a/decoder/dict.h
+++ b/decoder/dict.h
@@ -39,7 +39,7 @@ class Dict {
     std::string word= "";
     for (std::vector<std::string>::const_iterator it=words.begin();
          it != words.end(); ++it) {
-      if (it != words.begin()) word += "|||";
+      if (it != words.begin()) word += " ||| ";
       word += *it;
     }
     return word;
@@ -47,7 +47,7 @@ class Dict {
 
   inline const std::string& Convert(const WordID& id) const {
     if (id == 0) return b0_;
-    assert(id <= words_.size());
+    assert(id <= (int)words_.size());
     return words_[id-1];
   }
 
-- 
cgit v1.2.3