--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/run/double_02.d	Sat Sep 25 22:33:30 2004 +0000
@@ -0,0 +1,10 @@
+// $Header: /home/th/Dokumente/Entwicklung/MEIN_CVS/MiniD/src/run/double_02.d,v 1.2 2004/08/23 18:28:08 th Exp $
+
+int main(){
+	double d;
+	assert(double.sizeof == 8);
+	assert(double.sizeof == d.sizeof);
+	assert(double.sizeof == (4.2).sizeof);
+	assert(double.sizeof == typeid(double).tsize());
+	return 0;
+}