diff options
Diffstat (limited to 'tools/Scanner/Parser.lean')
| -rw-r--r-- | tools/Scanner/Parser.lean | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/Scanner/Parser.lean b/tools/Scanner/Parser.lean index efe09bd..7b64822 100644 --- a/tools/Scanner/Parser.lean +++ b/tools/Scanner/Parser.lean @@ -1,6 +1,6 @@ import Scanner.Protocol -import Lean.Data.Xml.Basic -import Lean.Data.Xml.Parser +import Scanner.Xml.Basic +import Scanner.Xml.Parser /-! # Parsing of Protocol Description |