We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 730cff3 commit a795dddCopy full SHA for a795ddd
lib/bap_core_theory/bap_core_theory.mli
@@ -2230,7 +2230,7 @@ module Theory : sig
2230
register. *)
2231
val hi : ('a,sub) t -> int
2232
2233
- (** [lo origin] returns the inclusive lowe bound of the origin register
+ (** [lo origin] returns the inclusive lower bound of the origin register
2234
to which an alias belongs. *)
2235
val lo : ('a,sub) t -> int
2236
0 commit comments