diff options
Diffstat (limited to 'src/sat/glucose/IntTypes.h')
| -rw-r--r-- | src/sat/glucose/IntTypes.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/sat/glucose/IntTypes.h b/src/sat/glucose/IntTypes.h index de2bdea7..3f75862b 100644 --- a/src/sat/glucose/IntTypes.h +++ b/src/sat/glucose/IntTypes.h @@ -44,4 +44,6 @@ OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWA #endif //================================================================================================= +#include <misc/util/abc_namespaces.h> + #endif |