Browse Source

added missing include

Former-commit-id: 27295accde
tempestpy_adaptions
dehnert 9 years ago
parent
commit
bb3e008611
  1. 2
      src/logic/CloneVisitor.h

2
src/logic/CloneVisitor.h

@ -1,6 +1,8 @@
#ifndef STORM_LOGIC_CLONEVISITOR_H_ #ifndef STORM_LOGIC_CLONEVISITOR_H_
#define STORM_LOGIC_CLONEVISITOR_H_ #define STORM_LOGIC_CLONEVISITOR_H_
#include <memory>
#include "src/logic/FormulaVisitor.h" #include "src/logic/FormulaVisitor.h"
namespace storm { namespace storm {

Loading…
Cancel
Save