diff options
Diffstat (limited to 'src/sat/bsat/satVec.h')
| -rw-r--r-- | src/sat/bsat/satVec.h | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/sat/bsat/satVec.h b/src/sat/bsat/satVec.h index bf117521..01740580 100644 --- a/src/sat/bsat/satVec.h +++ b/src/sat/bsat/satVec.h @@ -19,10 +19,10 @@ OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWA **************************************************************************************************/ // Modified to compile with MS Visual Studio 6.0 by Alan Mishchenko -#ifndef satVec_h -#define satVec_h +#ifndef ABC__sat__bsat__satVec_h +#define ABC__sat__bsat__satVec_h -#include "abc_global.h" +#include "src/misc/util/abc_global.h" ABC_NAMESPACE_HEADER_START |