Browse Source

add header include in shortestPath for gcc support

refactoring
sjunges 8 years ago
parent
commit
05eaaa4055
  1. 1
      src/utility/shortestPaths.cpp

1
src/utility/shortestPaths.cpp

@ -4,6 +4,7 @@
// only forward declaring Model leads to pybind compilation error
// this may be avoidable. but including certainly works.
#include "storm/models/sparse/Model.h"
#include "storm/models/sparse/StandardRewardModel.h"
#include <sstream>
#include <string>

Loading…
Cancel
Save