Commit 5ea6608f authored by Julien Signoles's avatar Julien Signoles
Browse files

[e-acsl:archi] fix a last typo in one comment

parent e2fbbc53
......@@ -27,7 +27,7 @@ open Cil_datatype
let dkey = Options.dkey_translation
(* ************************************************************************** *)
(* Expression *)
(* Expressions *)
(* ************************************************************************** *)
let replace_literal_string_in_exp env kf_opt (* None for globals *) e =
......
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