fix typo in user manual

fblanqui · Apr 24, 2024 · 50fce21 · 50fce21
1 parent 0902592
commit 50fce21
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/doc/queries.rst b/doc/queries.rst
@@ -49,7 +49,7 @@ functionalities, run the command ``lambdapi check --help``.
 --------
 
 Sets some flags ``on`` or ``off``, mainly for modifying the printing
-behavior. Only the flag ``"eta_equalify"`` changes the behavior of the
+behavior. Only the flag ``"eta_equality"`` changes the behavior of the
 rewrite engine by reducing η-redexes.
 
 ::