From f8bfe88bec5058ad29056f7dba9fec345a512350 Mon Sep 17 00:00:00 2001
From: Marcin Chrzanowski <mc370754@students.mimuw.edu.pl>
Date: Thu, 9 Dec 2021 15:24:10 +0100
Subject: Remove hyphens

---
 mgr.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'mgr.tex')

diff --git a/mgr.tex b/mgr.tex
index 56bfdb1..eb086ba 100644
--- a/mgr.tex
+++ b/mgr.tex
@@ -151,7 +151,7 @@ Query answering is one generatlization of model checking to the case of formulae
 with free variables. Another related one is \definedterm{query enumeration}.
 Similar to query answering, we again allow the structure and query to be
 preprocessed. Then, instead of answering individual questions about valuations,
-we are interested in outputting all the satisfying valuations one-by-one.
+we are interested in outputting all the satisfying valuations one by one.
 
 The complexity class \constantdelaylin\ refers to those enumeration problems in
 which the preprocessing step takes linear time and the delay between each
-- 
cgit v1.2.3

