From bfe6c4cee8b5afcd4078af319ab6b96f6695408b Mon Sep 17 00:00:00 2001 From: Hannes Schulze Date: Fri, 10 Apr 2026 12:34:02 +0200 Subject: update lean --- tools/Scanner/Parser.lean | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'tools/Scanner/Parser.lean') 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 -- cgit v1.3.1