You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
references to open_atomic_invariant! should refer vstd, not the client crate#970
Merged
utaal-b merged 1 commit intomainverus-lang/verus:mainfrom fix-macro-atomic-resolutionverus-lang/verus:fix-macro-atomic-resolutionCopy head branch name to clipboardFeb 2, 2024
