Merge pull request quantifiedcode#25 from mikulely/master

adewes · adewes · commit 0b98ca45384a · 2015-04-24T17:05:38.000+02:00
Fix code example
diff --git a/docs/correctness/explicit_return_in_init.rst b/docs/correctness/explicit_return_in_init.rst
@@ -46,7 +46,9 @@ There is no reason why the ``Rectangle`` class MUST return the area immediately
             self.width = width
             self.height = height
             self.area = width * height
-        def area: # moved the logic for returning area to a separate method
+            
+        @property
+        def area(): # moved the logic for returning area to a separate method
             return self.area
 
 References
