Commit e96067cd authored by Virgile Prevosto's avatar Virgile Prevosto Committed by Andre Maroneze
Browse files

fix indentation

parent aee4bd45
......@@ -4502,7 +4502,7 @@ and constFold (machdep: bool) (e: exp) : exp =
(* If the cast has attributes, leave it alone. *)
Kernel.debug ~dkey "ConstFold to %a : %a@."
!pp_ikind_ref nk Datatype.Integer.pretty i;
!pp_ikind_ref nk Datatype.Integer.pretty i;
(* Downcasts might truncate silently *)
kinteger64 ~loc ~kind:nk i
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment