From 686d38d66754027cd29c64f1dc2975248eab7796 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sun, 13 Feb 2011 15:16:10 -0800 Subject: Changes to enable C++ compilation after recent modifications. --- src/aig/ssw/sswInt.h | 1 + 1 file changed, 1 insertion(+) (limited to 'src/aig/ssw/sswInt.h') diff --git a/src/aig/ssw/sswInt.h b/src/aig/ssw/sswInt.h index ad868c6e..189494bc 100644 --- a/src/aig/ssw/sswInt.h +++ b/src/aig/ssw/sswInt.h @@ -29,6 +29,7 @@ #include "saig.h" #include "satSolver.h" #include "ssw.h" +#include "ioa.h" //////////////////////////////////////////////////////////////////////// /// PARAMETERS /// -- cgit v1.2.3