Fixed doc string of 'ClosureCall' contract annotation

marcoeilers · Sep 30, 2017 · f1406f0 · f1406f0
1 parent 744b89a
commit f1406f0
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/src/nagini_contracts/contracts.py b/src/nagini_contracts/contracts.py
@@ -288,8 +288,9 @@ def CallSlotProof(call_slot: Callable[..., Any]) -> Callable[[Callable[..., None
 
 def ClosureCall(call: Any, justification: Any) -> Any:
     """
-    Justifies a closure call by proving static dispatch (in contrast to using
-    a call slot).
+    Justifies a closure call through either
+     * a CallSlot (justification == the callslot instance)
+     * proofing static dispatch (justification == the static method)
     """
     pass