From d9f5195585132dc743d94298cc21d517c5353776 Mon Sep 17 00:00:00 2001 From: trevor_hansen Date: Mon, 11 Feb 2013 12:39:06 +0000 Subject: [PATCH] Patch from Trevor Woerner to compile on OpenSuSE 12.2. thanks git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@1670 e59a4935-1847-0410-ae03-e826735625c1 --- src/to-sat/AIG/BBNodeManagerAIG.h | 1 + 1 file changed, 1 insertion(+) diff --git a/src/to-sat/AIG/BBNodeManagerAIG.h b/src/to-sat/AIG/BBNodeManagerAIG.h index a712c41..04796a0 100644 --- a/src/to-sat/AIG/BBNodeManagerAIG.h +++ b/src/to-sat/AIG/BBNodeManagerAIG.h @@ -10,6 +10,7 @@ #ifndef BBNodeManagerAIG_H_ #define BBNodeManagerAIG_H_ +#include #include "BBNodeAIG.h" // cnf_short omits some stuff that doesn't compile in g++ that we don't need anyway. -- 2.47.3