Skip to content

Commit

Permalink
fix output message
Browse files Browse the repository at this point in the history
  • Loading branch information
jacob-ronstadt committed Aug 20, 2024
1 parent 45b93f5 commit ed45a09
Showing 1 changed file with 1 addition and 2 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -111,5 +111,4 @@ where
safeFunc = floatAccess.getEnclosingFunction())

select floatAccess,
"Use of float detected without protecting floating-point hardware state. $@, $@", floatAccess,
floatAccess.toString()
"Use of float detected without protecting floating-point hardware state"

0 comments on commit ed45a09

Please sign in to comment.