Fix indentation

mrstanb · Jul 7, 2023 · d81153b · d81153b
1 parent b7b5d87
commit d81153b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/analyses/baseInvariant.ml b/src/analyses/baseInvariant.ml
@@ -674,7 +674,7 @@ struct
                st''
              (* Mixed Float and Int cases should never happen, as there are no binary operators with one float and one int parameter ?!*)
              | Int _, Float _ | Float _, Int _ -> failwith "ill-typed program";
-             (* | Address a, Address b -> ... *)
+               (* | Address a, Address b -> ... *)
              | a1, a2 -> fallback (GobPretty.sprintf "binop: got abstract values that are not Int: %a and %a" VD.pretty a1 VD.pretty a2) st)
             (* use closures to avoid unused casts *)
           in (match c_typed with