Fix indent of #790

goblint · Jul 21, 2022 · f68e54b · f68e54b
1 parent 677970d
commit f68e54b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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;