mcrl2/gui/qt_tool.h

Include file:

#include "mcrl2/gui/qt_tool.h"