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

Isabelle2018 riscv: theory import for c-parser

This commit is contained in:
Gerwin Klein 2018-06-30 15:13:13 +02:00
parent e2f8ec0bab
commit af056bc00d
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
tools/c-parser/umm_heap/RISCV64/Addr_Type.thy
View File

@ -11,7 +11,7 @@
(* License: BSD, terms see file ./LICENSE *)
theory Addr_Type
imports "~~/src/HOL/Word/Word"
imports "HOL-Word.Word"
begin
type_synonym addr_bitsize = "64"