Skip to content
Snippets Groups Projects
Commit 31af46be authored by Virgile Prevosto's avatar Virgile Prevosto
Browse files

fix indentation

parent 517e407f
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
src/kernel_services/ast_queries/ast_info.mli
+ 1
− 1
View file @ 31af46be
...@@ -69,7 +69,7 @@ val value_of_integral_expr: exp -> Integer.t ...@@ -69,7 +69,7 @@ val value_of_integral_expr: exp -> Integer.t
@before Frama-C+dev the function would return [false] as soon as the @before Frama-C+dev the function would return [false] as soon as the
expression was not an integer literal (possibly casted). expression was not an integer literal (possibly casted).
*) *)
val is_null_expr: exp -> bool val is_null_expr: exp -> bool
(** [true] iff the expression is a constant expression that evaluates to (** [true] iff the expression is a constant expression that evaluates to
......
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