--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/run/invariant_25.d	Sun Feb 06 11:35:02 2005 +0000
@@ -0,0 +1,25 @@
+// $HeadURL$
+// $Date$
+// $Author$
+
+// @author@	Thomas Kuehne <thomas-dloop@kuehne.THISISSPAM.cn>
+// @date@	2005-02-06
+// @uri@	news:s2chd2-1n2.ln1@lnews.kuehne.cn
+
+module dstress.run.invariant_25;
+
+class MyClass{
+	invariant{
+		assert(0);
+	}
+}
+
+int main(){
+	try{
+		MyClass c = new MyClass();
+		assert(c);
+	}catch(InvariantException e){
+		return 0;
+	}
+	assert(0);
+}