comparison nocompile/invariant_26.d @ 1559:ec5e144583ea

D1 -> D2 : 1/N
author thomask
date Sun, 19 Aug 2007 19:11:54 +0000
parents 0ea4c218a3ee
children
comparison
equal deleted inserted replaced
1558:d40d75fcd5c5 1559:ec5e144583ea
13 13
14 private void middle(){ 14 private void middle(){
15 bug(); 15 bug();
16 } 16 }
17 17
18 invariant{ 18 invariant(){
19 middle(); 19 middle();
20 } 20 }
21 } 21 }