Merge pull request #3118 from Imperatorn/patch-8

Update broken examples

Signed-off-by: Nicholas Wilson <[email protected]>
Merged-on-behalf-of: Nicholas Wilson <[email protected]>

Author: dlang-bot

index.dd

@@ -529,7 +529,7 @@ void main()
     // Code is executed in any case upon scope exit.
     scope(exit) { writeln("Exiting main."); }
     // File is closed deterministically at scope's end.
-    foreach (line; File("text.txt").byLine())
+    foreach (line; File(__FILE_FULL_PATH__).byLine())
     {
         writeln(line);
     }
@@ -584,15 +584,15 @@ class Widget : Printable
 {
    void print(uint level)
    in{ }
-   body{ }
+   do{ }
 }
 
 // Single inheritance of state
 class ExtendedWidget : Widget
 {
    override void print(uint level)
    in { /* weakening precondition is okay */  }
-   body
+   do
    {
        //... level may be 0 here ...
    }