diff run/invariant_19.d @ 1559:ec5e144583ea

D1 -> D2 : 1/N
author thomask
date Sun, 19 Aug 2007 19:11:54 +0000
parents b8c0195059d9
children
line wrap: on
line diff
--- a/run/invariant_19.d	Mon Jul 23 18:47:01 2007 +0000
+++ b/run/invariant_19.d	Sun Aug 19 19:11:54 2007 +0000
@@ -19,7 +19,7 @@
 		return 1;
 	}
 
-	invariant{
+	invariant(){
 		assert(g()==1);
 	}
 }