diff options
author | Hieu Hoang <hieuhoang@gmail.com> | 2013-11-21 22:58:28 +0400 |
---|---|---|
committer | Hieu Hoang <hieuhoang@gmail.com> | 2013-11-21 22:58:28 +0400 |
commit | 0a8390981e9c01b131a63212a3f13306ca4dee26 (patch) | |
tree | 05383c711bd70bc22370a6cfcffeb0859cf06d9f /moses/PrefixTree.h | |
parent | 43dc333cd72027009324068ebcc1752021d9e0aa (diff) |
delete includes for util/check.hh
Diffstat (limited to 'moses/PrefixTree.h')
-rw-r--r-- | moses/PrefixTree.h | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/moses/PrefixTree.h b/moses/PrefixTree.h index 5b81ea175..f7a869e49 100644 --- a/moses/PrefixTree.h +++ b/moses/PrefixTree.h @@ -9,7 +9,6 @@ #include <vector> #include <algorithm> -#include "util/check.hh" #include <deque> #include "Util.h" #include "FilePtr.h" |