public static void printLogicPrompt() {
    if (((Boolean)(Logic.$PROMPT_SHOW_MODULEp$.get())).booleanValue()) {
      System.out.print(((Module)(Stella.$MODULE$.get())).moduleName + " ");
    }
    System.out.print(Logic.$LOGIC_PROMPT$);
  }