diff --git a/src/main/java/de/neemann/digital/draw/library/ElementLibrary.java b/src/main/java/de/neemann/digital/draw/library/ElementLibrary.java index 0fd687612..2c1fa6678 100644 --- a/src/main/java/de/neemann/digital/draw/library/ElementLibrary.java +++ b/src/main/java/de/neemann/digital/draw/library/ElementLibrary.java @@ -386,6 +386,7 @@ public class ElementLibrary implements Iterable * Removes an element from the library to enforce a reload * * @param name the elements name + * @throws IOException IOException */ public void invalidateElement(File name) throws IOException { LibraryNode n = map.get(name.getName());