From 203303a31d1f71cbc8f85a521c97b6af280dcdcf Mon Sep 17 00:00:00 2001
From: Cas Cremers <cas.cremers@gmail.com>
Date: Tue, 6 Nov 2018 13:52:14 +0100
Subject: [PATCH] Fixed bug in dead code. Right.

---
 src/knowledge.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/knowledge.c b/src/knowledge.c
index ff8ed79..66bde5e 100644
--- a/src/knowledge.c
+++ b/src/knowledge.c
@@ -358,7 +358,7 @@ knowledgePrintShort (const Knowledge know)
   if (know->basic != NULL)
     {
       termlistPrint (know->basic);
-      if (know->encrypt != NULL);
+      if (know->encrypt != NULL)
       {
 	eprintf (", ");
       }