Commit cb315db6 authored by Julien Signoles's avatar Julien Signoles
Browse files

[comment] fix typo

parent eea1572c
......@@ -112,7 +112,7 @@ val is_range_free: term -> bool
val is_bitfield_pointers: logic_type -> bool
(* Returns [true] iff the given logic type is a bitfield pointer or a
set of bitfield pointer. *)
set of bitfield pointers. *)
(*
Local Variables:
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment