From abfbf9c4233f8b7ee33cd149b2652fed3d837bbf Mon Sep 17 00:00:00 2001
From: jihgfee <jihgfee@gmail.com>
Date: Wed, 23 Sep 2020 02:43:21 +0200
Subject: [PATCH] Documentation: term types -> session types

---
 theories/logrel/session_typing_rules.v | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/theories/logrel/session_typing_rules.v b/theories/logrel/session_typing_rules.v
index e94d0c8..6b7be5e 100644
--- a/theories/logrel/session_typing_rules.v
+++ b/theories/logrel/session_typing_rules.v
@@ -1,4 +1,4 @@
-(** This file defines all of the semantic typing lemmas for term types. Most of
+(** This file defines all of the semantic typing lemmas for session types. Most of
 these lemmas are semantic versions of the syntactic typing judgments typically
 found in a syntactic type system. *)
 From stdpp Require Import pretty.
-- 
GitLab