Fix typo.

jasmin-lang · Apr 22, 2024 · e8e3eae · e8e3eae
1 parent e19e6a5
commit e8e3eae
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 6 deletions.
diff --git a/compiler/src/ct_checker_forward.ml b/compiler/src/ct_checker_forward.ml
@@ -540,15 +540,15 @@ let get_annot ensure_annot f =
 (* -----------------------------------------------------------*)
 let sdeclassify = "declassify"
 
-let is_declasify annot =
+let is_declassify annot =
   Annot.ensure_uniq1 sdeclassify Annot.none annot <> None
 
 let declassify_lvl annot lvl =
-  if is_declasify annot then Public
+  if is_declassify annot then Public
   else lvl
 
 let declassify_lvls annot lvls =
-  if is_declasify annot then List.map (fun _ -> Public) lvls
+  if is_declassify annot then List.map (fun _ -> Public) lvls
   else lvls
 
 (* [ty_instr env i] return env' such that env |- i : env' *)

diff --git a/compiler/src/sct_checker_forward.ml b/compiler/src/sct_checker_forward.ml
@@ -926,7 +926,7 @@ let ty_lvals env (msf_e : msf_e) xs tys : msf_e =
 
 let sdeclassify = "declassify"
 
-let is_declasify annot =
+let is_declassify annot =
   Annot.ensure_uniq1 sdeclassify Annot.none annot <> None
 
 let declassify_lvl env (_, s) = (Env.public env, s)
@@ -935,11 +935,11 @@ let declassify env = function
   | Direct le          -> Direct (declassify_lvl env le)
   | Indirect (lp, le)  -> Indirect (lp, declassify_lvl env le)
 
-let declassify_ty env annot ty = if is_declasify annot
+let declassify_ty env annot ty = if is_declassify annot
   then declassify env ty
   else ty
 
-let declassify_tys env annot tys = if is_declasify annot
+let declassify_tys env annot tys = if is_declassify annot
   then List.map (declassify env) tys
   else tys