From e235ccc4b7013643fb74a65760a2faa19a504fbd Mon Sep 17 00:00:00 2001
From: Aaron Eline <aeline+github@amazon.com>
Date: Thu, 5 Oct 2023 14:27:41 -0400
Subject: [PATCH] Update cedar-policy-validator/src/typecheck.rs

Co-authored-by: Craig Disselkoen <cdiss@amazon.com>
---
 cedar-policy-validator/src/typecheck.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/cedar-policy-validator/src/typecheck.rs b/cedar-policy-validator/src/typecheck.rs
index 523759a632..15df41afd8 100644
--- a/cedar-policy-validator/src/typecheck.rs
+++ b/cedar-policy-validator/src/typecheck.rs
@@ -2148,7 +2148,7 @@ impl<'a> Typechecker<'a> {
 
     /// Utility called by the main typecheck method to handle extension function
     /// application.
-    /// INVARIANT `ext_expr` must be a `ExtensionFucntionApp`
+    /// INVARIANT `ext_expr` must be a `ExtensionFunctionApp`
     fn typecheck_extension<'b>(
         &self,
         request_env: &RequestEnv,