diff --git a/H/YapGFlagInfo.h b/H/YapGFlagInfo.h index c6ef65f14..32b41d371 100644 --- a/H/YapGFlagInfo.h +++ b/H/YapGFlagInfo.h @@ -412,7 +412,7 @@ backtracked into. */ YAP_FLAG(TOPLEVEL_PROMPT_FLAG, "toplevel_prompt", true, isatom, - "~m~d~l~! ?- ", mkprompt), + "?- ", mkprompt), YAP_FLAG(TTY_CONTROL_FLAG, "tty_control", true, boolean, "true", NULL), YAP_FLAG(UNIX_FLAG, "unix", false, ro, "true", NULL), /**< `unix`