From c059e8dfcad161e4480fe699e05b844d849b65cc Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Mon, 28 Oct 2019 12:24:22 +0100
Subject: [PATCH] [lint] relint cabs2cil.ml
---
src/kernel_internals/typing/cabs2cil.ml | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/src/kernel_internals/typing/cabs2cil.ml b/src/kernel_internals/typing/cabs2cil.ml
index 70b3ca2ccd9..89a968608b2 100644
--- a/src/kernel_internals/typing/cabs2cil.ml
+++ b/src/kernel_internals/typing/cabs2cil.ml
@@ -1088,8 +1088,8 @@ let lookupVar ghost name =
let only_ghost_symbol name =
try ignore (lookupVar false name); false
with Not_found ->
- try ignore (lookupVar true name); true
- with Not_found -> false
+ try ignore (lookupVar true name); true
+ with Not_found -> false
let lookupGlobalVar ghost name =
let env = if ghost then ghost_global_env else global_env in
@@ -6501,7 +6501,7 @@ and doExp local_env
if only_ghost_symbol n then
Kernel.warning
"calling ghost function %s in non-ghost code. Did you \
- forget a /*@ ghost ... */ ?" n;
+ forget a /*@ ghost ... */ ?" n;
Kernel.debug ~level:3
"Calling function %s without prototype." n ;
let ftype = TFun(intType, None, false,
--
GitLab