From 518fa3f104d6b98528873d4bf37e182ee1bbe69d Mon Sep 17 00:00:00 2001
From: Son HO
Date: Fri, 26 Apr 2024 10:30:09 +0200
Subject: Update compiler/ExtractBuiltin.ml

Co-authored-by: Zyad Hassan <88045115+zhassan-aws@users.noreply.github.com>---
 compiler/ExtractBuiltin.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'compiler')

diff --git a/compiler/ExtractBuiltin.ml b/compiler/ExtractBuiltin.ml
index 248d0fa8..a7ab6da0 100644
--- a/compiler/ExtractBuiltin.ml
+++ b/compiler/ExtractBuiltin.ml
@@ -555,7 +555,7 @@ let builtin_fun_effects =
       no_fail_no_state_funs
   in
   (* TODO: all the functions registered in the [builtin_funs] above should
-     be considered a not using a state. There is a lot of redundancy
+     be considered as not using a state. There is a lot of redundancy
      right now. *)
   let no_state_funs =
     [
-- 
cgit v1.2.3