Updated raytracer test. Added SPASS test.

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1271 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e

1 files changed, 1 insertions, 2 deletions

diff --git a/test/raytracer/matrix.h b/test/raytracer/matrix.h
index 4b9f434..5ab63b3 100644
--- a/test/raytracer/matrix.h
+++ b/test/raytracer/matrix.h
@@ -8,8 +8,7 @@ void apply_to_point(struct matrix * m, struct point * p,
                     /*out*/ struct point * r);
 void apply_to_vect(struct matrix * m, struct vector * v,
                    /*out*/ struct vector * r);
-extern struct matrix matrix_identity;
-#define mid (&matrix_identity)
+extern struct matrix * mid;
 struct matrix * mtranslate(flt sx, flt sy, flt sz);
 struct matrix * mscale(flt sx, flt sy, flt sz);
 struct matrix * mrotatex(flt a);