From 9ddfeb02cf37bbd1b8d6afe53025a3847f90f20e Mon Sep 17 00:00:00 2001
From: Danila Fedorin <danila.fedorin@gmail.com>
Date: Mon, 4 Sep 2017 12:51:53 -0700
Subject: [PATCH] Fix not clearing an important map during reset.

---
 core/src/main/java/org/nwapw/abacus/plugin/PluginManager.java | 1 +
 1 file changed, 1 insertion(+)

diff --git a/core/src/main/java/org/nwapw/abacus/plugin/PluginManager.java b/core/src/main/java/org/nwapw/abacus/plugin/PluginManager.java
index 6dafcda..0c99c58 100644
--- a/core/src/main/java/org/nwapw/abacus/plugin/PluginManager.java
+++ b/core/src/main/java/org/nwapw/abacus/plugin/PluginManager.java
@@ -335,6 +335,7 @@ public class PluginManager {
         registeredTreeValueOperators.clear();
         registeredNumberImplementations.clear();
         registeredDocumentation.clear();
+        interfaceImplementationNames.clear();
         interfaceImplementations.clear();
         cachedPi.clear();
         listeners.forEach(e -> e.onUnload(this));