Skip to content

Commit

Permalink
docs: functionnaly -> functionally
Browse files Browse the repository at this point in the history
  • Loading branch information
erooke committed Dec 5, 2024
1 parent 8441a4c commit 1361b58
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/terms/term.mli
Original file line number Diff line number Diff line change
Expand Up @@ -326,7 +326,7 @@ val mk_divisible : Numeral.t -> t -> t
(** Create select from an array at a particular index *)
val mk_select : t -> t -> t

(** Functionnaly update an array at a given index *)
(** Functionally update an array at a given index *)
val mk_store : t -> t -> t -> t

(** Uniquely name a term with an integer and return a named term and
Expand Down

0 comments on commit 1361b58

Please sign in to comment.