Merge pull request #24 from cameel/virtual-functions-must-have-bodies

Internally called virtual functions necessarily have bodies
ethdebug · Jun 28, 2023 · 1515290 · 1515290
2 parents b4da811 + 471eeca
commit 1515290
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/docs/source/format.md b/docs/source/format.md
@@ -312,8 +312,6 @@ If the callee of the call is known, then the dictionary with sort `"call"` has t
   * `target`: a human readable string name for the function being called
   * `astId`: the AST id of the declaration site of the callee
 
-Note that if the function is being called is `virtual` then the declaration site may not have any corresponding body.
-
 Each element of the arguments array is a dictionary with the following fields:
 * `sort`: `"program"` or `"return_address"`. `"program"` has the same interpretation as in the `type` dictionary above. `"return_address"` is a refinement of the `pc` type indicating this stack slot holds
 the return address of the call being performed.