From 003b0e63e46ae0d3f6571418f9c5b66b6fcaaab9 Mon Sep 17 00:00:00 2001 From: Marcin Chrzanowski Date: Thu, 9 Dec 2021 15:22:24 +0100 Subject: Fix typo --- mgr.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'mgr.tex') diff --git a/mgr.tex b/mgr.tex index 71e1d8c..56bfdb1 100644 --- a/mgr.tex +++ b/mgr.tex @@ -124,7 +124,7 @@ in time $O(m \log m)$ (where $m$ is the size of the question): Note that though we speak of MSO formulae with second-order variables only, first-order variables are supported by simply restricting to questions in which -sets assigned to single-order variables are singletons. Also note, that for +sets assigned to first-order variables are singletons. Also note, that for formulae with first-order free variables only, question answering happens in constant time. -- cgit v1.2.3