From 31af46be2d3416620c2c1826dd53c0b7106123ae Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Thu, 25 Aug 2022 11:35:38 +0200
Subject: [PATCH] fix indentation
---
src/kernel_services/ast_queries/ast_info.mli | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/kernel_services/ast_queries/ast_info.mli b/src/kernel_services/ast_queries/ast_info.mli
index 42c716521bf..e74da0ebb87 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
--
GitLab