From d1ac4dbff364b90ecdbfe989ba674c53809eb757 Mon Sep 17 00:00:00 2001 From: Maxime Coste Date: Wed, 19 Oct 2022 19:55:21 +1100 Subject: [PATCH] Remove unused History MemoryDomain --- src/memory.hh | 2 -- 1 file changed, 2 deletions(-) diff --git a/src/memory.hh b/src/memory.hh index 02df470e..6ae64fe9 100644 --- a/src/memory.hh +++ b/src/memory.hh @@ -33,7 +33,6 @@ enum class MemoryDomain Client, WordDB, Selections, - History, Remote, Events, Completion, @@ -65,7 +64,6 @@ inline const char* domain_name(MemoryDomain domain) case MemoryDomain::Registers: return "Registers"; case MemoryDomain::Client: return "Client"; case MemoryDomain::Selections: return "Selections"; - case MemoryDomain::History: return "History"; case MemoryDomain::Remote: return "Remote"; case MemoryDomain::Events: return "Events"; case MemoryDomain::Completion: return "Completion";