Commit 4d1782c1 authored by Mike Kremer's avatar Mike Kremer
Browse files

added missing include for NPInterface

git-svn-id: http://www.openflipper.org/svnrepo/CoMISo/trunk@231 1355f012-dd97-4b2f-ae87-10fa9f823a57
parent 55cab59b
......@@ -35,6 +35,8 @@
#include "TapeIDSingleton.hh"
#include "NProblemInterface.hh"
//== FORWARDDECLARATIONS ======================================================
//== NAMESPACES ===============================================================
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment