1 files changed, 0 insertions, 48 deletions
diff --git a/ode/files/config.h b/ode/files/config.h
deleted file mode 100644
index 8711bd91b2..0000000000
--- a/ode/files/config.h
+++ /dev/null
@@ -1,48 +0,0 @@
-/* per-machine configuration. this file is automatically generated. */
-
-#ifndef _ODE_CONFIG_H_
-#define _ODE_CONFIG_H_
-
-/* standard system headers */
-#include <stdio.h>
-#include <stdlib.h>
-#include <math.h>
-#include <string.h>
-#include <stdarg.h>
-#include <malloc.h>
-#include <alloca.h>
-#include <values.h>
-#include <float.h>
-
-#ifdef __cplusplus
-extern "C" {
-#endif
-
-/* is this a pentium on a gcc-based platform? */
-#undef PENTIUM
-
-/* integer types (we assume int >= 32 bits) */
-typedef char int8;
-typedef unsigned char uint8;
-typedef short int16;
-typedef unsigned short uint16;
-typedef int int32;
-typedef unsigned int uint32;
-
-/* an integer type that we can safely cast a pointer to and
- * from without loss of bits.
- */
-typedef unsigned int intP;
-
-/* select the base floating point type */
-#define dDOUBLE 1
-
-/* the floating point infinity */
-#define dInfinity DBL_MAX
-
-/* available functions */
-
-#ifdef __cplusplus
-}
-#endif
-#endif