From 6c196ec8a41d6ed506c133c8b33dba9684f9a7a6 Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Wed, 3 Mar 2010 12:34:43 +0000
Subject: Updated raytracer test.  Added SPASS test.

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1271 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 test/raytracer/config.h | 13 +------------
 1 file changed, 1 insertion(+), 12 deletions(-)

(limited to 'test/raytracer/config.h')

diff --git a/test/raytracer/config.h b/test/raytracer/config.h
index ed5b8478..49361dc5 100644
--- a/test/raytracer/config.h
+++ b/test/raytracer/config.h
@@ -1,9 +1,9 @@
 #include <math.h>
+#include <assert.h>
 #include <stddef.h>
 #include <stdio.h>
 #include <stdlib.h>
 #include <string.h>
-#include <assert.h>
 
 #ifdef SINGLE_PRECISION
 typedef float flt;
@@ -11,17 +11,6 @@ typedef float flt;
 typedef double flt;
 #endif
 
-#if 0
-extern void abord(void);
-
-#define assert(cond) \
-  if (!(cond)) { fprintf(stderr, "%s:%u: failed assertion\n", __FILE__, __LINE__); abort(); }
-
-#endif
-
-#define ASSIGN(lv,rv) memcpy(&(lv), &(rv), sizeof(rv))
-
 void arena_init(void);
 void arena_clear(void);
 void * arena_alloc(int size);
-
-- 
cgit