diff run/invariant_14.d @ 1559:ec5e144583ea

D1 -> D2 : 1/N
author thomask
date Sun, 19 Aug 2007 19:11:54 +0000
parents 6e4063f99377
children
line wrap: on
line diff
--- a/run/invariant_14.d	Mon Jul 23 18:47:01 2007 +0000
+++ b/run/invariant_14.d	Sun Aug 19 19:11:54 2007 +0000
@@ -19,7 +19,7 @@
 		x=3;
 	}
 	
-	invariant{
+	invariant(){
 		assert(x>2);
 	}
 }
@@ -33,7 +33,7 @@
 		x=5;
 	}
 
-	invariant{
+	invariant(){
 		assert(x>4);
 	}
 }