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

execspec/machine: remove redundant file (ARM)

This commit is contained in:
Miki Tanaka 2016-12-07 08:07:11 +11:00 committed by Alejandro Gomez-Londono
parent 1f8127c6cc
commit 8bfc2ac68c
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
spec/machine/ARM/Platform.thy
View File

@ -14,7 +14,7 @@ theory Platform
imports
"../../../lib/Defs"
"../../../lib/Lib"
"../../../lib/$L4V_ARCH/WordSetup"
"../../../lib/ARM/WordSetup"
"../Setup_Locale"
begin