diff options
| -rw-r--r-- | sources/scala/runtime/InterpreterSupport.java | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/sources/scala/runtime/InterpreterSupport.java b/sources/scala/runtime/InterpreterSupport.java index 9388ec3814..9272583ca1 100644 --- a/sources/scala/runtime/InterpreterSupport.java +++ b/sources/scala/runtime/InterpreterSupport.java @@ -69,7 +69,8 @@ public class InterpreterSupport { * @meta method (java.lang.String, scala.Any) scala.Unit; */ public static void showDefinition(String signature) { - getDefinitionPrinter().showDefinition(signature); + DefinitionPrinter printer = getDefinitionPrinter(); + if (printer != null) printer.showDefinition(signature); } /** @@ -79,7 +80,8 @@ public class InterpreterSupport { * @meta method (java.lang.String, scala.Any) scala.Unit; */ public static void showValueDefinition(String signature, Object value) { - getDefinitionPrinter().showValueDefinition(signature, value); + DefinitionPrinter printer = getDefinitionPrinter(); + if (printer != null) printer.showValueDefinition(signature, value); } /** |