Skip to content

Commit 0f0ce45

Browse files
committed
Added _Ret_valid_
1 parent 4a6ddc7 commit 0f0ce45

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

power_overwhelming/include/power_overwhelming/power_overwhelming_api.h

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -28,4 +28,5 @@
2828

2929
// These are missing in the salieri header.
3030
#define _Analysis_assume_(expr)
31+
#define _Ret_valid_
3132
#endif /* defined(_WIN32) */

0 commit comments

Comments
 (0)