Skip to content
Snippets Groups Projects
Commit 8cc195f8 authored by Gerwin Klein's avatar Gerwin Klein
Browse files

Word_Lib: revert breaking changes

Revert changes that break upstream l4v proofs.
parent af945748
No related branches found
No related tags found
No related merge requests found
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment