Fix indentation

goblint · Nov 22, 2023 · cb06f70 · cb06f70
1 parent 895bd9f
commit cb06f70
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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 ->