From 644eb4a68502a311c5cee3acfaf1f765f928e9c5 Mon Sep 17 00:00:00 2001 From: Marcin Chrzanowski Date: Tue, 9 Nov 2021 12:07:30 +0100 Subject: Remove unnecessary comment --- mgr.tex | 1 - 1 file changed, 1 deletion(-) (limited to 'mgr.tex') diff --git a/mgr.tex b/mgr.tex index 14993c4..1a1d924 100644 --- a/mgr.tex +++ b/mgr.tex @@ -43,7 +43,6 @@ \begin{document} \maketitle -%tu idzie streszczenie na strone poczatkowa \begin{abstract} We define relabel regular queries on trees, which, via the known equivalence between tree automata and MSO formulae on trees, happens to be a -- cgit v1.2.3