From 1579a482e88864a7272dd14d34140758ab312784 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jo=C3=A3o=20Marcos=20Bezerra?= <marcospb19@hotmail.com>
Date: Wed, 10 Nov 2021 09:06:09 -0300
Subject: [PATCH] Fix typo

DeMorgan's laws apply to disjunctions, not implications.
---
 src/commands.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/commands.rs b/src/commands.rs
index 6a86ef1..8de3b77 100644
--- a/src/commands.rs
+++ b/src/commands.rs
@@ -137,7 +137,7 @@ pub fn run(args: Opts, question_policy: QuestionPolicy) -> crate::Result<()> {
                     //   We checked above that input_extensions isn't empty, so files[0] has an extension.
                     //
                     //   Path::extension says: "if there is no file_name, then there is no extension".
-                    //   Using DeMorgan's law: "if there is    extension, then there is    file_name".
+                    //   Contrapositive statement: "if there is extension, then there is file_name".
                     info!(
                         "Partial compression detected. Compressing {} into {}",
                         to_utf(files[0].as_path().file_name().unwrap()),