typo in warning message

thiagofelicissimo · Apr 19, 2024 · f672f2f · f672f2f
1 parent 75699e0
commit f672f2f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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;