TheCloud/Digital
1
0
Fork 0
mirror of https://github.com/hneemann/Digital.git synced 2025-09-27 06:51:37 -04:00
Code Issues Packages Projects Releases Wiki Activity

fixed a checkstyle issue

Browse Source
This commit is contained in:
hneemann 2017-04-01 13:01:19 +02:00
parent 121a126142
commit 98132c8055
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
src/main/java/de/neemann/digital/draw/library/ElementLibrary.java
View File

@ -386,6 +386,7 @@ public class ElementLibrary implements Iterable<ElementLibrary.ElementContainer>
* Removes an element from the library to enforce a reload * Removes an element from the library to enforce a reload
* *
* @param name the elements name * @param name the elements name
* @throws IOException IOException
*/ */
public void invalidateElement(File name) throws IOException { public void invalidateElement(File name) throws IOException {
LibraryNode n = map.get(name.getName()); LibraryNode n = map.get(name.getName());