fix a typo

hopv · Dec 12, 2024 · 07c6852 · 07c6852
1 parent efb9136
commit 07c6852
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/lib/typing/rethfl_typing.ml b/lib/typing/rethfl_typing.ml
@@ -33,6 +33,6 @@ let main x top_old =
   let env = generate_env y in
   match !Rethfl_options.Typing.target with
   | "" -> Infer.infer y env top
-  | "toplevel" -> Infer.infer_based_on_annottations y env top !Rethfl_options.Typing.annot
+  | "toplevel" -> Infer.infer_based_on_annotations y env top !Rethfl_options.Typing.annot
   | "annotation" -> Infer.check_annotation y env top !Rethfl_options.Typing.annot
   | _ -> failwith "Invalid -target"
diff --git a/lib/typing/rinfer.ml b/lib/typing/rinfer.ml
@@ -447,7 +447,7 @@ let annotation_of file hes =
 *)
 
 (* infer with annotations *)
-let infer_based_on_annottations hes (env: Rtype.t IdMap.t) top file =
+let infer_based_on_annotations hes (env: Rtype.t IdMap.t) top file =
   let annotation = annotation_of file hes in
 
   print_env env;