From c35d750e678b6861ffaf4d361cb13e7183bc6702 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Henrik=20B=C3=B6ving?= <hargonix@gmail.com>
Date: Thu, 21 Jul 2022 23:15:20 +0200
Subject: [PATCH] feat: Single shall not be transitive

---
 DocGen4/Process/Analyze.lean | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/DocGen4/Process/Analyze.lean b/DocGen4/Process/Analyze.lean
index ee12e93..1ec0e7c 100644
--- a/DocGen4/Process/Analyze.lean
+++ b/DocGen4/Process/Analyze.lean
@@ -93,7 +93,7 @@ def getRelevantModules (imports : List Name) : MetaM (HashSet Name) := do
   let mut relevant := .empty
   for module in env.header.moduleNames do
     for import in imports do
-      if Name.isPrefixOf import module then
+      if import == module then
         relevant := relevant.insert module
   pure relevant