diff options
Diffstat (limited to 'src/proof/fra')
| -rw-r--r-- | src/proof/fra/fraClau.c | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/src/proof/fra/fraClau.c b/src/proof/fra/fraClau.c index fb87550d..48640d1d 100644 --- a/src/proof/fra/fraClau.c +++ b/src/proof/fra/fraClau.c @@ -315,24 +315,6 @@ static Vec_Int_t * Vec_IntSplitHalf( Vec_Int_t * vVec ) /**Function************************************************************* - Synopsis [Appends the contents of the second vector.] - - Description [] - - SideEffects [] - - SeeAlso [] - -***********************************************************************/ -static void Vec_IntAppend( Vec_Int_t * vVec1, Vec_Int_t * vVec2 ) -{ - int Entry, i; - Vec_IntForEachEntry( vVec2, Entry, i ) - Vec_IntPush( vVec1, Entry ); -} - -/**Function************************************************************* - Synopsis [Complements all literals in the clause.] Description [] |