adbrucker
/
lh-l4v
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

riscv ainvs: fix comment

This commit is contained in:
Gerwin Klein 2019-05-08 11:45:20 +10:00 committed by Rafal Kolanski
parent e4f7e4676a
commit 55ed773c49
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
proof/invariant-abstract/RISCV64/ArchCSpacePre_AI.thy
View File

@ -9,7 +9,7 @@
*) *)
(* (*
X64-specific CSpace invariants RISCV64-specific CSpace invariants
*) *)
theory ArchCSpacePre_AI theory ArchCSpacePre_AI