diff options
| author | Hannes Schulze <contact@haschu.me> | 2026-04-10 12:34:02 +0200 |
|---|---|---|
| committer | Hannes Schulze <contact@haschu.me> | 2026-04-10 12:34:02 +0200 |
| commit | bfe6c4cee8b5afcd4078af319ab6b96f6695408b (patch) | |
| tree | f6721cd534619e0e1b6a96f2edaba455fcdc75f2 /tools/Scanner/Parser.lean | |
| parent | 80317994ba8a8b7f72c0bf0d824e4ade59a4b6c8 (diff) | |
update lean
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 |