Update arid.pv

pietrotedeschi · Apr 17, 2023 · c855c22 · c855c22
1 parent 7f0a3e3
commit c855c22
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/proverif/arid.pv b/proverif/arid.pv
@@ -98,7 +98,7 @@ let receiver () =
   if checkT = true then
   out(ra, ((cA,roA,latA,lonA,altA,tA), freshness(tA, true))).
 
-(* A generic Receiver *)  
+(* Authority*)  
 
 let auth (pAuth:skey, PAuth:pkey) = 
   (*UAV Registration*)