From f68e54b05a2739eb7e2034474af61d6bf5831b33 Mon Sep 17 00:00:00 2001
From: Michael Schwarz <michael.schwarz93@gmail.com>
Date: Thu, 21 Jul 2022 11:18:26 +0200
Subject: [PATCH] Fix indent of #790

---
 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 1f73f96e26..ebf55d14a8 100644
--- a/src/analyses/base.ml
+++ b/src/analyses/base.ml
@@ -664,7 +664,7 @@ struct
     in
     let r =
     match exp with
-    | BinOp (op,arg1,arg2,_) when Cil.isIntegralType (Cilfacade.typeOf exp) -> binop op arg1 arg2
+      | BinOp (op,arg1,arg2,_) when Cil.isIntegralType (Cilfacade.typeOf exp) -> binop op arg1 arg2
     | _ -> eval_next ()
     in
     if M.tracing then M.traceu "evalint" "base eval_rv_ask_mustbeequal %a -> %a\n" d_exp exp VD.pretty r;