diff run/invariant_20.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_20.d	Mon Jul 23 18:47:01 2007 +0000
+++ b/run/invariant_20.d	Sun Aug 19 19:11:54 2007 +0000
@@ -16,7 +16,7 @@
 		return 1;
 	}
 
-	invariant{
+	invariant(){
 		assert(g()==1);
 	}
 }