Skip to content

Commit

Permalink
🎨 automated ormolu commit
Browse files Browse the repository at this point in the history
  • Loading branch information
lsrcz committed Jan 7, 2025
1 parent ea0e2dd commit fee0984
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/Grisette/Internal/SymPrim/Prim/Internal/Term.hs
Original file line number Diff line number Diff line change
Expand Up @@ -1578,7 +1578,7 @@ data Term t where
!(Term t) ->
Term t
FPUnaryTerm' ::
(ValidFP eb sb, SupportedPrim (fp eb sb), PEvalFPTerm fp) =>
(ValidFP eb sb, SupportedPrim (fp eb sb), PEvalFPTerm fp) =>
{-# UNPACK #-} !CachedInfo ->
!FPUnaryOp ->
!(Term (fp eb sb)) ->
Expand Down

0 comments on commit fee0984

Please sign in to comment.