diff options
author | Gard Spreemann <gspreemann@gmail.com> | 2017-04-20 11:10:45 +0200 |
---|---|---|
committer | Gard Spreemann <gspreemann@gmail.com> | 2017-04-20 11:10:45 +0200 |
commit | 8d7329f3e5ad843e553c3c5503cecc28ef2eead6 (patch) | |
tree | 6d80d83a7c4bcd3296e12a28404bfe84ef84ed55 /GudhUI/gui/MainWindow.h | |
parent | 55c7181126aa7defce38c9b82872d14223d4c1dd (diff) |
GUDHI 2.0.0 as released by upstream in a tarball.upstream/2.0.0
Diffstat (limited to 'GudhUI/gui/MainWindow.h')
-rw-r--r-- | GudhUI/gui/MainWindow.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/GudhUI/gui/MainWindow.h b/GudhUI/gui/MainWindow.h index c8c3fcf6..15664dcb 100644 --- a/GudhUI/gui/MainWindow.h +++ b/GudhUI/gui/MainWindow.h @@ -23,8 +23,8 @@ #ifndef GUI_MAINWINDOW_H_ #define GUI_MAINWINDOW_H_ -// Workaround for moc-qt4 not parsing boost headers -#include <CGAL/config.h> +// Workaround https://svn.boost.org/trac/boost/ticket/12534 +#include <boost/container/flat_map.hpp> #include <QMainWindow> #include "ui_main_window.h" |