From d5cb8578f25ac3a688c12bd5109c3a3552d677c8 Mon Sep 17 00:00:00 2001
From: Marcin Junczys-Dowmunt <junczys@amu.edu.pl>
Date: Thu, 14 Apr 2016 15:05:05 +0200
Subject: [PATCH] work around for CUDA 7.0 bug

---
 src/rescorer/rescorer_main.cu | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/rescorer/rescorer_main.cu b/src/rescorer/rescorer_main.cu
index a5b5fb3a..8126252a 100644
--- a/src/rescorer/rescorer_main.cu
+++ b/src/rescorer/rescorer_main.cu
@@ -1,3 +1,5 @@
+#include <boost/utility/result_of.hpp>
+
 #include <iostream>
 #include <string>
 #include <memory>