From c855c22ec89ef9ad2c3f139a034ba97136b55911 Mon Sep 17 00:00:00 2001
From: Pietro Tedeschi <pietrotedeschi.me@gmail.com>
Date: Mon, 17 Apr 2023 09:52:22 +0400
Subject: [PATCH] Update arid.pv

---
 proverif/arid.pv | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/proverif/arid.pv b/proverif/arid.pv
index a7dcfa6..7448799 100644
--- 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*)