christos 3914f24884 make this compile again from Stathis Kamperis		2008-05-25 20:47:30 +00:00
..
proptest.c	…