diff options
| author | Patrick Simianer <p@simianer.de> | 2013-01-21 12:29:43 +0100 |
|---|---|---|
| committer | Patrick Simianer <p@simianer.de> | 2013-01-21 12:29:43 +0100 |
| commit | 0d23f8aecbfaf982cd165ebfc2a1611cefcc7275 (patch) | |
| tree | 8eafa6ea43224ff70635cadd4d6f027d28f4986f /klm/search/vertex_generator.hh | |
| parent | dbc66cd3944321961c5e11d5254fd914f05a98ad (diff) | |
| parent | 7cac43b858f3b681555bf0578f54b1f822c43207 (diff) | |
Merge remote-tracking branch 'upstream/master'
Diffstat (limited to 'klm/search/vertex_generator.hh')
| -rw-r--r-- | klm/search/vertex_generator.hh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/klm/search/vertex_generator.hh b/klm/search/vertex_generator.hh index da563c2d..646b8189 100644 --- a/klm/search/vertex_generator.hh +++ b/klm/search/vertex_generator.hh @@ -4,6 +4,7 @@ #include "search/edge.hh" #include "search/types.hh" #include "search/vertex.hh" +#include "util/exception.hh" #include <boost/unordered_map.hpp> #include <boost/version.hpp> |