From f672f2fa2cf70c40ca59b1b1b7f4e415b737f6a5 Mon Sep 17 00:00:00 2001
From: thiagofelicissimo <thiago.felicissimo@inria.fr>
Date: Fri, 19 Apr 2024 10:02:52 +0200
Subject: [PATCH] typo in warning message

---
 src/handler.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/handler.ml b/src/handler.ml
index 32184fd..b1e189e 100644
--- a/src/handler.ml
+++ b/src/handler.ml
@@ -121,7 +121,7 @@ let handle_entry entry =
       with T.Do_not_unify -> ()
       ) rews;
 
-    if skip_check then Format.printf "%s " (yellow "skiping check")
+    if skip_check then Format.printf "%s " (yellow "skipping check")
     else R.rewrite_rule_checker mctx name mscope (C.scope_msubst msubst mscope []) rhs';
 
     T.rew_rules := T.RewTbl.add name ((p_msubst, rhs') :: rews) !T.rew_rules;