From df273f549a5f258547fec30d1eab894ff38a0c8c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa?= <vsc@dcc.fc.up.pt>
Date: Thu, 5 Nov 2015 19:26:44 +0000
Subject: [PATCH] prompt flag

---
 H/YapGFlagInfo.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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`