diff --git a/src/kernel_services/ast_queries/ast_info.mli b/src/kernel_services/ast_queries/ast_info.mli index 42c716521bfab85e9332e6ef253eebfd6c13d362..e74da0ebb87d6c78046407060638c5556f9761a5 100644 --- a/src/kernel_services/ast_queries/ast_info.mli +++ b/src/kernel_services/ast_queries/ast_info.mli @@ -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 expression was not an integer literal (possibly casted). - *) +*) val is_null_expr: exp -> bool (** [true] iff the expression is a constant expression that evaluates to