From cb06f70f99b5c149e4afcb1ba6dcae53beb80cd2 Mon Sep 17 00:00:00 2001
From: Karoliine Holter <karoliine.holter@hotmail.com>
Date: Wed, 22 Nov 2023 11:31:03 +0200
Subject: [PATCH] Fix indentation

---
 src/analyses/base.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/analyses/base.ml b/src/analyses/base.ml
index 8b6350aa2d..98badad489 100644
--- a/src/analyses/base.ml
+++ b/src/analyses/base.ml
@@ -2328,7 +2328,7 @@ struct
           | _ -> failwith ("non-floating-point argument in call to function "^f.vname)
         end
       in
-let apply_abs ik x =
+      let apply_abs ik x =
         let eval_x = eval_rv (Analyses.ask_of_ctx ctx) gs st x in
         begin match eval_x with
           | Int int_x ->