Patch from Khoo Yit Phang.

Remove extlib-abc/vecAtt.h to eliminate warnings (it's unused anyway).

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@1131 e59a4935-1847-0410-ae03-e826735625c1

diff --git a/src/extlib-abc/vec.h b/src/extlib-abc/vec.h
deleted file mode 100644 (file)
index bf67fca..0000000
--- a/src/extlib-abc/vec.h
+++ /dev/null
@@ -1,110 +0,0 @@
-/**CFile****************************************************************\r
-\r
-  FileName    [vec.h]\r
-\r
-  SystemName  [ABC: Logic synthesis and verification system.]\r
-\r
-  PackageName [Resizable arrays.]\r
-\r
-  Synopsis    [External declarations.]\r
-\r
-  Author      [Alan Mishchenko]\r
-  \r
-  Affiliation [UC Berkeley]\r
-\r
-  Date        [Ver. 1.0. Started - June 20, 2005.]\r
-\r
-  Revision    [$Id: vec.h,v 1.00 2005/06/20 00:00:00 alanmi Exp $]\r
-\r
-***********************************************************************/\r
- \r
-#ifndef __VEC_H__\r
-#define __VEC_H__\r
-\r
-#ifdef __cplusplus\r
-extern "C" {\r
-#endif\r
-\r
-#ifdef _WIN32\r
-#define inline __inline // compatible with MS VS 6.0\r
-#pragma warning(disable : 4152) // warning C4152: nonstandard extension, function/data pointer conversion in expression\r
-#pragma warning(disable : 4244) // warning C4244: '+=' : conversion from 'int ' to 'unsigned short ', possible loss of data\r
-#pragma warning(disable : 4514) // warning C4514: 'Vec_StrPop' : unreferenced inline function has been removed\r
-#pragma warning(disable : 4710) // warning C4710: function 'Vec_PtrGrow' not inlined\r
-#endif\r
-\r
-////////////////////////////////////////////////////////////////////////\r
-///                          INCLUDES                                ///\r
-////////////////////////////////////////////////////////////////////////\r
-\r
-// this include should be the first one in the list\r
-// it is used to catch memory leaks on Windows\r
-#include "leaks.h"       \r
-\r
-////////////////////////////////////////////////////////////////////////\r
-///                      MACRO DEFINITIONS                           ///\r
-////////////////////////////////////////////////////////////////////////\r
-\r
-#ifndef ABS\r
-#define ABS(a)                 ((a) < 0 ? -(a) : (a))\r
-#endif\r
-\r
-#ifndef MAX\r
-#define MAX(a,b)               ((a) > (b) ? (a) : (b))\r
-#endif\r
-\r
-#ifndef MIN\r
-#define MIN(a,b)               ((a) < (b) ? (a) : (b))\r
-#endif\r
-\r
-#ifndef ALLOC\r
-#define ALLOC(type, num)        ((type *) malloc(sizeof(type) * (num)))\r
-#endif\r
-\r
-#ifndef FREE\r
-#define FREE(obj)                   ((obj) ? (free((char *) (obj)), (obj) = 0) : 0)\r
-#endif\r
-\r
-#ifndef REALLOC\r
-#define REALLOC(type, obj, num)        \\r
-        ((obj) ? ((type *) realloc((char *)(obj), sizeof(type) * (num))) : \\r
-            ((type *) malloc(sizeof(type) * (num))))\r
-#endif\r
-\r
-#ifndef PRT\r
-#define PRT(a,t)  printf("%s = ", (a)); printf("%6.2f sec\n", (float)(t)/(float)(CLOCKS_PER_SEC))\r
-#endif\r
-\r
-#ifndef PRTP\r
-#define PRTP(a,t,T)  printf("%s = ", (a)); printf("%6.2f sec (%6.2f %%)\n", (float)(t)/(float)(CLOCKS_PER_SEC), (T)? 100.0*(t)/(T) : 0.0)\r
-#endif\r
-\r
-#include "vecInt.h"\r
-#include "vecFlt.h"\r
-#include "vecStr.h"\r
-#include "vecPtr.h"\r
-#include "vecVec.h"\r
-#include "vecAtt.h"\r
-\r
-////////////////////////////////////////////////////////////////////////\r
-///                         PARAMETERS                               ///\r
-////////////////////////////////////////////////////////////////////////\r
-\r
-////////////////////////////////////////////////////////////////////////\r
-///                         BASIC TYPES                              ///\r
-////////////////////////////////////////////////////////////////////////\r
-\r
-////////////////////////////////////////////////////////////////////////\r
-///                    FUNCTION DECLARATIONS                         ///\r
-////////////////////////////////////////////////////////////////////////\r
-\r
-#ifdef __cplusplus\r
-}\r
-#endif\r
-\r
-#endif\r
-\r
-////////////////////////////////////////////////////////////////////////\r
-///                       END OF FILE                                ///\r
-////////////////////////////////////////////////////////////////////////\r
-\r