Skip to content

Commit

Permalink
test
Browse files Browse the repository at this point in the history
  • Loading branch information
Ivan-Velickovic committed Jan 12, 2024
1 parent f897409 commit 2d33291
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion tool/microkit/sysxml.py
Original file line number Diff line number Diff line change
Expand Up @@ -11,7 +11,7 @@
# Force use of Python elementtree to avoid overloading
import sys
sys.modules['_elementtree'] = None # type: ignore
import xml.etree.ElementTree as ET
import xml.etree.ElementTree as ET # NOQA


MIN_PAGE_SIZE = 0x1000 # FIXME: This shouldn't be here
Expand Down

0 comments on commit 2d33291

Please sign in to comment.