CVS difference for ai05s/ai05-0235-1.txt
--- ai05s/ai05-0235-1.txt 2011/03/05 05:35:02 1.6
+++ ai05s/ai05-0235-1.txt 2011/03/17 07:06:30 1.7
@@ -56,7 +56,7 @@
accessibility level as the master {representing the invocation of the
entity}.
-AARM To Be Honest: We use "innvocation of the entity" as a master is formally
+AARM To Be Honest: We use "invocation of the entity" as a master is formally
an execution of something. But we mean this to be interpreted statically (for
instance, as the body of the subprogram) for the purposes of computing
"statically deeper than" (see below).
Questions? Ask the ACAA Technical Agent