From 85a3c2d59385dcb8e134a9b8598be5ec5620eb71 Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.maroneze@cea.fr>
Date: Thu, 5 Jan 2023 15:44:16 +0100
Subject: [PATCH] fix typos
---
src/kernel_internals/typing/cabs2cil.ml | 9 +++------
1 file changed, 3 insertions(+), 6 deletions(-)
diff --git a/src/kernel_internals/typing/cabs2cil.ml b/src/kernel_internals/typing/cabs2cil.ml
index c3413aea14b..f483a6695bb 100644
--- a/src/kernel_internals/typing/cabs2cil.ml
+++ b/src/kernel_internals/typing/cabs2cil.ml
@@ -6723,8 +6723,8 @@ and doExp local_env
n
end
- (* contrarily to the others builtins, __atomic_load and
- __atomic_exchange generic version do not share the same
+ (* contrarily to the other builtins, __atomic_load and
+ __atomic_exchange generic versions do not share the same
signature as their specialized counterparts.
Hence, we'd have to change the args list as well.
*)
@@ -6753,10 +6753,7 @@ and doExp local_env
in
clean_up_chunk_locals c;
let t = typeOf_pointed t in
- let res =
- Format.sprintf "%s_%d" n (bytesSizeOf t)
- in
- Kernel.feedback "result is %s" res; res
+ Format.sprintf "%s_%d" n (bytesSizeOf t)
| [] ->
Kernel.error ~once:true ~current:true
"Too few arguments for builtin %s" n;
--
GitLab