exception is created but is not thrown

2026-09-27 10:03:11 +07:00 · 2016-06-06 13:41:52 +02:00
parent 0a55c2c61f
commit 231b96ba3e
1 changed files with 1 additions and 1 deletions
@@ -350,7 +350,7 @@ class IdeaHelpBroker extends DefaultHelpBroker implements KeyListener{
      setCurrentID(ID.create(id,myHelpSet));
    } catch(InvalidHelpSetContextException ex){
      // this should not happen
-      new Error("internal error?");
+      throw new Error("internal error?");
    }
  }